2 Commits

Author	SHA1	Message	Date
Ion-Mihai Tetcu	39fd6bb5d7	- fix typo, hence plist for -DNOPORTDOCS ... - bum PORTREVISION Approved by: maintainer timeout on QAT BotMails Prompted by: QAT QA run	2008-11-18 17:30:04 +00:00
Renato Botelho	58ad5d751d	Otter is an automated deduction system (theorem prover) for ... first-order logic with equality developed at Argonne National Laboratories. WWW: http://www-unix.mcs.anl.gov/AR/otter/ PR: ports/92834 Submitted by: wollman	2006-02-06 17:36:47 +00:00