source: doc @ f824a9e

Name	Size	Rev	Age	Author	Last Change
../
API	20.9 KB ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …
creddy.1	4.6 KB ​	9806e76	12 years	Mei	1) add handling for typed anonymous term, [int:?] 2) make a pass …
creddy_API	5.4 KB ​	ac79e33	12 years	faber	API changes for rt2
dependencies	1.2 KB ​	9806e76	12 years	Mei	1) add handling for typed anonymous term, [int:?] 2) make a pass …
design	11.4 KB ​	9335cfa	12 years	Mei	1) add handling of 'this' data term for the principal type 2) add …
extract_doc.c	4.7 KB ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …
INSTALL	1.5 KB ​	b84753b	12 years	faber	Document FreeBSD configure options
java_install	737 bytes ​	c0bdce8	13 years	Mike Ryan	java build instructions
keystore	517 bytes ​	4918535	14 years	Mike Ryan	top-level build
names	408 bytes ​	8200a9c	54 years	(none)
TOC	441 bytes ​	ab30fdd	12 years	Mei	1) add a missing query file 2) tweak some doc files
usage_scenario	1.5 KB ​	9806e76	12 years	Mei	1) add handling for typed anonymous term, [int:?] 2) make a pass …

Property mode set to 040000