aboutsummaryrefslogtreecommitdiffstats
path: root/misc/otter
Commit message (Expand)AuthorAgeFilesLines
* - Attempt to fix parallel builds (-jX)danfe2013-07-192-354/+359
* - Get Rid MD5 supportmiwi2011-03-191-1/+0
* - fix typo, hence plist for -DNOPORTDOCSitetcu2008-11-191-1/+2
* Otter is an automated deduction system (theorem prover) forgarga2006-02-074-0/+385