source: doc @ 2cdbe49

mei_rt2mei_rt2_fix_1
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
Note: See TracBrowser for help on using the repository browser.