no_shm_selinux/ROOT
changeset 93 dfde07c7cd6b
parent 87 8d18cfc845dd
equal deleted inserted replaced
92:d9dc04c3ea90 93:dfde07c7cd6b
    39 
    39 
    40 session "enrich" = "s2ss" + 
    40 session "enrich" = "s2ss" + 
    41   options [document = false]
    41   options [document = false]
    42   theories
    42   theories
    43     Enrich
    43     Enrich
    44     Enrich1