summaryrefslogtreecommitdiff
path: root/misc/otter (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Attempt to fix parallel builds (-jX)Alexey Dokuchaev2013-07-192-354/+359
* - Get Rid MD5 supportMartin Wilke2011-03-191-1/+0
* - 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