summaryrefslogtreecommitdiff
path: root/misc/otter (follow)
Commit message (Expand)AuthorAgeFilesLines
* - fix typo, hence plist for -DNOPORTDOCSIon-Mihai Tetcu2008-11-181-1/+2
* Otter is an automated deduction system (theorem prover) forRenato Botelho2006-02-064-0/+385