source: doc @ da045c2

Name	Size	Rev	Age	Author	Last Change
../
API	25.3 KB ​	2e9455f	12 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
ChangeLog	6.5 KB ​	2e9455f	12 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
creddy.1	5.4 KB ​	c67bfa3	12 years	Mei	1) tinker with documentations
dependencies	1.8 KB ​	2e9455f	12 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
design	11.5 KB ​	2e9455f	12 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
extract_doc.c	5.4 KB ​	2e9455f	12 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
INSTALL	3.0 KB ​	2e9455f	12 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
java_install	809 bytes ​	ced90bc	12 years	Mei	1) add a single threaded java test prover script
keystore	968 bytes ​	3a867a1	12 years	Mei	1) add the note on new combo idkey file format
names	408 bytes ​	8200a9c	55 years	(none)
partial_proof	2.5 KB ​	63477c5	12 years	Mei	1) getting ready for a freeze
TOC	452 bytes ​	e3c7769	12 years	Mei	1) wrap up java interface with swig/jni/abac linkup 2) java regression …
usage_scenario	1.5 KB ​	9806e76	13 years	Mei	1) add handling for typed anonymous term, [int:?] 2) make a pass …
yap6_2_2_patch_1	1.5 KB ​	2e9455f	12 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …

Property mode set to 040000