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/ k rel='alternate' title='Atom feed' href='http://tfcis.org/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/atom/biology/crimap?h=gnome-3.36' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/biology/crimap
Commit message (Expand)AuthorAgeFilesLines
* - actually remove old patchpgollucci2010-01-171-31/+0
* - Fix on amd64pgollucci2010-01-174-0/+60
* For ports maintained by ports@FreeBSD.org, remove names and/ordougb2009-12-211-3/+0
* - Fix the build with GCC 4.2danfe2007-06-192-7/+32
* BROKEN with gcc 4.2kris2007-05-271-1/+7
* Reset tonymaher@optusnet.com.au due to maintainer-timeouts and no responselinimon2006-12-261-1/+1
* Remove USE_REINPLACE from all categories starting with Bedwin2006-05-041-1/+0
* SHA256ifyedwin2006-01-221-0/+1
* Utilize EXAMPLESDIR.danfe2006-01-201-3/+3