source: doc @ 2cdbe49

Name	Size	Rev	Age	Author	Last Change
../
usage_scenario	1.5 KB ​	9806e76	13 years	Mei	1) add handling for typed anonymous term, [int:?] 2) make a pass …
TOC	441 bytes ​	ab30fdd	13 years	Mei	1) add a missing query file 2) tweak some doc files
NOTE	695 bytes ​	137b55f	12 years	Mei	1) upgraded to use strongswan-4.6.4
names	408 bytes ​	8200a9c	55 years	(none)
keystore	968 bytes ​	3a867a1	12 years	Mei	1) add the note on new combo idkey file format
java_install	737 bytes ​	c0bdce8	14 years	Mike Ryan	java build instructions
INSTALL	1.8 KB ​	137b55f	12 years	Mei	1) upgraded to use strongswan-4.6.4
extract_doc.c	4.8 KB ​	137b55f	12 years	Mei	1) upgraded to use strongswan-4.6.4
design	11.5 KB ​	e3462b4	12 years	Mei	1) make regression test to use just runcheck (hide runall) 2) alter …
dependencies	1.2 KB ​	137b55f	12 years	Mei	1) upgraded to use strongswan-4.6.4
creddy_API	5.4 KB ​	ac79e33	13 years	faber	API changes for rt2
creddy.1	4.6 KB ​	9806e76	13 years	Mei	1) add handling for typed anonymous term, [int:?] 2) make a pass …
API	20.9 KB ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …

Property mode set to 040000