selinux: ROOT@5a01ee1c9b4d (annotated)

1 7d9c0ed02b56 thy files chunhan parents: diff changeset	1	session "dynamic" = "HOL" +
7d9c0ed02b56 thy files chunhan parents: diff changeset	2	options [document = false]
7d9c0ed02b56 thy files chunhan parents: diff changeset	3	theories
7d9c0ed02b56 thy files chunhan parents: diff changeset	4	List_Prefix
7d9c0ed02b56 thy files chunhan parents: diff changeset	5	My_list_prefix
7d9c0ed02b56 thy files chunhan parents: diff changeset	6	File_renaming
7d9c0ed02b56 thy files chunhan parents: diff changeset	7	Flask_type
7d9c0ed02b56 thy files chunhan parents: diff changeset	8	OS_type_def
7d9c0ed02b56 thy files chunhan parents: diff changeset	9	Flask
7d9c0ed02b56 thy files chunhan parents: diff changeset	10
7d9c0ed02b56 thy files chunhan parents: diff changeset	11
7d9c0ed02b56 thy files chunhan parents: diff changeset	12	session "alive" = "dynamic" +
7d9c0ed02b56 thy files chunhan parents: diff changeset	13	options [document = false]
7d9c0ed02b56 thy files chunhan parents: diff changeset	14	theories
7d9c0ed02b56 thy files chunhan parents: diff changeset	15	Valid_prop
7d9c0ed02b56 thy files chunhan parents: diff changeset	16	Init_prop
7d9c0ed02b56 thy files chunhan parents: diff changeset	17	Current_files_prop
7d9c0ed02b56 thy files chunhan parents: diff changeset	18	Current_sockets_prop
7d9c0ed02b56 thy files chunhan parents: diff changeset	19	Alive_prop
7d9c0ed02b56 thy files chunhan parents: diff changeset	20	Proc_fd_of_file_prop
7d9c0ed02b56 thy files chunhan parents: diff changeset	21	Finite_current
7d9c0ed02b56 thy files chunhan parents: diff changeset	22	New_obj_prop

author	chunhan
	Mon, 06 May 2013 02:04:27 +0800
changeset 2	5a01ee1c9b4d
parent 1	7d9c0ed02b56
child 11	3e7617baa6a3
permissions	-rw-r--r--