changeset 87 | 8d18cfc845dd |
parent 77 | 6f7b9039715f |
child 93 | dfde07c7cd6b |
--- a/no_shm_selinux/ROOT Mon Dec 30 23:41:58 2013 +0800 +++ b/no_shm_selinux/ROOT Tue Dec 31 14:57:13 2013 +0800 @@ -35,4 +35,10 @@ options [document = false] theories S2ss_prop - S2ss_prop2 \ No newline at end of file + S2ss_prop2 + +session "enrich" = "s2ss" + + options [document = false] + theories + Enrich + Enrich1 \ No newline at end of file