source:
doc
@
4a72b30
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| API | 23.9 KB | 4a72b30 | 12 years | 1) add more doc for java | |
| ChangeLog | 4.7 KB | 695abc7 | 12 years | 1) touch ChangeLog, trying to see why wiki page could not link | |
| creddy.1 | 5.4 KB | c67bfa3 | 12 years | 1) tinker with documentations | |
| dependencies | 1.2 KB | bf68132 | 12 years | 1) get example directory to work with yap with use_malloc option 2) … | |
| design | 11.5 KB | 2efdff5 | 12 years | 1) fix the missing check for 'This' rt2.y when called from … | |
| extract_doc.c | 5.1 KB | 4a72b30 | 12 years | 1) add more doc for java | |
| INSTALL | 2.1 KB | acd277a | 12 years | 1) tweak doc | |
| java_install | 809 bytes | ced90bc | 12 years | 1) add a single threaded java test prover script | |
| keystore | 968 bytes | 3a867a1 | 12 years | 1) add the note on new combo idkey file format | |
| names | 408 bytes | 8200a9c | 55 years | ||
| partial_proof | 2.5 KB | 4a72b30 | 12 years | 1) add more doc for java | |
| TOC | 452 bytes | e3c7769 | 12 years | 1) wrap up java interface with swig/jni/abac linkup 2) java regression … | |
| usage_scenario | 1.5 KB | 9806e76 | 13 years | 1) add handling for typed anonymous term, [int:?] 2) make a pass … | |
|
Note: See TracBrowser
for help on using the repository browser.
