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 / surnia / otter / test
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[TXT]](/icons/text.gif){kind=icon}
011.otter
| 1.1 | 5 years | sandro | a cardinality test is working! |
|
010.otter
| 1.1 | 5 years | sandro | m |
|
008.otter
| 1.2 | 5 years | sandro | intermediate; about to play with paramodulation |
|
009.otter
| 1.1 | 5 years | sandro | intermediate; about to play with paramodulation |
|
001.otter
| 1.1 | 5 years | sandro | in progress, working on test 008, then back to 001. |
|
002.otter
| 1.1 | 5 years | sandro | in progress, working on test 008, then back to 001. |
|
004.otter
| 1.2 | 5 years | sandro | in progress, working on test 008, then back to 001. |
|
005.otter
| 1.1 | 5 years | sandro | in progress, working on test 008, then back to 001. |
|
006.otter
| 1.1 | 5 years | sandro | in progress, working on test 008, then back to 001. |
|
007.otter
| 1.1 | 5 years | sandro | in progress, working on test 008, then back to 001. |
|
003.otter
| 1.1 | 5 years | sandro | still in progress, but passing surnia-test-003 |