source: doc @ 0a81d0a

mei_rt2mei_rt2_fix_1rt2
Name Size Rev Age Author Last Change
../
API 4.5 KB 5308660   13 years faber RT2 interface changes
creddy.1 4.6 KB 9806e76   13 years Mei 1) add handling for typed anonymous term, [int:?] 2) make a pass …
creddy_API 5.4 KB ac79e33   13 years faber API changes for rt2
dependencies 1.2 KB 9806e76   13 years Mei 1) add handling for typed anonymous term, [int:?] 2) make a pass …
design 11.2 KB 5da2f3f   13 years faber Minor edits
INSTALL 1.3 KB d7abe40   13 years faber Mention apt-get for yap
java_install 737 bytes c0bdce8   14 years Mike Ryan java build instructions
keystore 517 bytes 4918535   14 years Mike Ryan top-level build
names 408 bytes 8200a9c   55 years (none)
TOC 435 bytes bcd57e0   13 years Mike Ryan specification of role names
usage_scenario 1.5 KB 9806e76   13 years Mei 1) add handling for typed anonymous term, [int:?] 2) make a pass …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.