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
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[DIR]](/icons/dir.gif){kind=icon}
old-results/
| ||||
|
otter/
| ||||
|
play/
| ||||
![[TXT]](/icons/text.gif){kind=icon}
.cvsignore
| 1.2 | 3 years | syosi | I'm trying to locally use tla, so this will get hopefully cvs to happily ignore ... |
|
surnia.py
| 1.17 | 4 years | sandro | dont run on datatype tests; our theories are clearly incomplete so we get wrong ... |
|
Makefile
| 1.5 | 4 years | sandro | stop claiming consistency with datatype theories |
|
OwlAxiomReasoner.py
| 1.8 | 4 years | sandro | up to about 70% on RDF Core tests; may have broken OWL stuff |