source:
doc
@
0a81d0a
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
API | 4.5 KB | 5308660 | 13 years | RT2 interface changes | |
creddy.1 | 4.6 KB | 9806e76 | 13 years | 1) add handling for typed anonymous term, [int:?] 2) make a pass … | |
creddy_API | 5.4 KB | ac79e33 | 13 years | API changes for rt2 | |
dependencies | 1.2 KB | 9806e76 | 13 years | 1) add handling for typed anonymous term, [int:?] 2) make a pass … | |
design | 11.2 KB | 5da2f3f | 13 years | Minor edits | |
INSTALL | 1.3 KB | d7abe40 | 13 years | Mention apt-get for yap | |
java_install | 737 bytes | c0bdce8 | 14 years | java build instructions | |
keystore | 517 bytes | 4918535 | 14 years | top-level build | |
names | 408 bytes | 8200a9c | 55 years | ||
TOC | 435 bytes | bcd57e0 | 13 years | specification of role names | |
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.