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 / dpo
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[TXT]](/icons/text.gif){kind=icon}
a001.n3
| 1.3 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
a127.n3
| 1.2 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
axioms.n3
| 1.6 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
axioms1.n3
| 1.2 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
convert.n3
| 1.6 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
kludge.n3
| 1.4 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
noKIF.n3
| 1.5 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
rules.n3
| 1.2 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
seive.n3
| 1.2 | 6 years | timbl | Restore policy of LF only, no CR, at line ends for source files. |
|
daml+oil.n3
| 1.1 | 7 years | connolly | for Jim, per request of Thu, 14 Jun 2001 19:13:37 -0400 |
|
dpo.kif
| 1.2 | 7 years | connolly | fixed |
|
dpo.nt
| 1.2 | 7 years | connolly | fixed |
|
Makefile
| 1.5 | 7 years | timbl | cleanup |
|
axioms-0.txt
| 1.1 | 7 years | timbl | cleanup |
|
daml+oil-ex.daml
| 1.1 | 7 years | timbl | muddle |
|
consts.sed
| 1.1 | 7 years | timbl | mmm |
|
axioms0.n3
| 1.1 | 7 years | timbl | Catching up from laptop, and new Examples.html |
|
axioms.sed
| 1.2 | 7 years | timbl | Introduced :- syntax solving an incompleteness in the syntax. SOme bugs out. Ver... |
|
axioms.txt
| 1.1 | 7 years | timbl | playing with axioms for daml in swap/test/dpo |
|
daml+oil.daml
| 1.1 | 7 years | timbl | playing with axioms for daml in swap/test/dpo |
|
test.sh
| 1.1 | 7 years | timbl | playing with axioms for daml in swap/test/dpo |