source: examples/example_scripts/java @ f89b991

Name	Size	Rev	Age	Author	Last Change
../
abac_attr.java	2.5 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
build.xml	1.5 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
Makefile	963 bytes ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
prover_test.java	1.7 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
run_attr	165 bytes ​	7f04233	11 years	Mei	1) tweak examples
run_prover	201 bytes ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
run_test	1.2 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
run_thread	206 bytes ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
tbasic.java	450 bytes ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
tchunk.java	885 bytes ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
threaded_test.java	2.1 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …

Property mode set to 040000