Mercurial Mercurial > hg > selinux / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Delete_prop.thy
changeset 6 8779d321cc2e
parent 5 0c209a3e2647
child 7 f27882976251
equal deleted inserted replaced
5:0c209a3e2647 6:8779d321cc2e 
     1 theory Deleted_prop
 
     1 theory Delete_prop
 
     2 imports Main Flask Flask_type Init_prop Alive_prop Current_files_prop
 
     2 imports Main Flask Flask_type Init_prop Alive_prop Current_files_prop
 
     3 begin
 
     3 begin
 
     4 
     4 
     5 context flask begin
 
     5 context flask begin
 
     6 
     6
selinux