Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [Public] / 2000 / 10 / swap / test / os
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[TXT]](/icons/text.gif){kind=icon}
base.n3
| 1.1 | 2 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
argv.n3
| 1.3 | 2 years | timbl | Passes test/Makefile. smartIn changed to interpretBuiltins. rdf:first rdf:rest ... |
|
environ.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |