aboutsummaryrefslogtreecommitdiff
path: root/misc/otter
Commit message (Expand)AuthorAgeFilesLines
* Add licenseStefan Eßer2020-09-031-1/+4
* Fix build with -fno-commonStefan Eßer2020-09-036-1/+72
* - Switch to options helpersDmitry Marakasov2015-09-091-6/+4
* - Fix shebangsDmitry Marakasov2015-09-091-1/+4
* misc/otter & biology/ariadne: Not jobs safeJohn Marino2015-01-211-0/+2
* Cleanup plistBaptiste Daroussin2014-12-091-17/+0
* Stagify.Vanilla I. Shu2014-06-191-7/+6
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* - 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