aboutsummaryrefslogtreecommitdiffstats
path: root/misc/otter
Commit message (Expand)AuthorAgeFilesLines
* Cleanup plistbapt2014-12-091-17/+0
* Stagify.vanilla2014-06-201-7/+6
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* - 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