source: doc @ a334115

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 397 bytes 7c5d673   12 years Mei 1) update some doc files
partial_proof 2.4 KB 646e57e   12 years Mei 1) add partial proof
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 2.1 KB acd277a   12 years Mei 1) tweak doc
extract_doc.c 4.8 KB 137b55f   12 years Mei 1) upgraded to use strongswan-4.6.4
design 11.5 KB 2efdff5   12 years Mei 1) fix the missing check for 'This' rt2.y when called from …
dependencies 1.2 KB bf68132   12 years Mei 1) get example directory to work with yap with use_malloc option 2) …
creddy.1 5.4 KB c67bfa3   12 years Mei 1) tinker with documentations
ChangeLog 4.7 KB 97a6a36   12 years Mei 1) added java to libabac using swig 2) added java examples …
API 23.6 KB 646e57e   12 years Mei 1) add partial proof
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.