aboutsummaryrefslogtreecommitdiffstats
path: root/misc/otter/Makefile
Commit message (Expand)AuthorAgeFilesLines
* - fix typo, hence plist for -DNOPORTDOCSitetcu2008-11-191-1/+2
* Otter is an automated deduction system (theorem prover) forgarga2006-02-071-0/+38