aboutsummaryrefslogtreecommitdiff
path: root/math/coq
Commit message (Collapse)AuthorAgeFilesLines
* - Update to 8.0pl3Pav Lucistnik2006-03-163-20/+15
| | | | | | | | PR: ports/93954 Submitted by: Johan van Selst <johans@stack.nl> Notes: svn path=/head/; revision=157427
* BROKEN: Does not buildKris Kennaway2006-03-061-0/+2
| | | | | | | Approved by: portmgr (implicit) Notes: svn path=/head/; revision=156986
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryEdwin Groothuis2006-01-221-4/+4
| | | | | | | | Approved by: krion@ PR: ports/88711 (related) Notes: svn path=/head/; revision=154114
* Unbreak: Add vendor-patch for ocaml 3.09Volker Stolz2005-12-072-0/+5
| | | | Notes: svn path=/head/; revision=150602
* Bump PORTREVISION to regenerate the package with the newly enabled IDE on ↵Volker Stolz2005-12-051-0/+1
| | | | | | | | | the cluster Suggested by: kris Notes: svn path=/head/; revision=150452
* Enable IDE by default.Volker Stolz2005-12-051-3/+3
| | | | Notes: svn path=/head/; revision=150449
* - Add SHA256Pav Lucistnik2005-11-251-0/+1
| | | | Notes: svn path=/head/; revision=149432
* Drop MAINTAINERMarcus Alves Grando2005-10-291-1/+1
| | | | | | | | PR: 88197 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer) Notes: svn path=/head/; revision=146695
* Update to 8.0p2Volker Stolz2005-02-022-10/+5
| | | | | | | | PR: ports/76977 Submitted by: Rene Laden (maintainer) Notes: svn path=/head/; revision=127899
* Fix packagingVolker Stolz2005-01-182-8/+7
| | | | | | | | PR: ports/75787 Submitted by: maintainer Notes: svn path=/head/; revision=126726
* - Unbreak on amd64Sergey Matveychuk2004-12-201-2/+1
| | | | | | | | | | | (Johan van Selst succesfully ran the test-suite on an amd64 running 6-CURRENT and ocaml-3.08.2) PR: ports/75334 Submitted by: maintainer Notes: svn path=/head/; revision=124638
* Mark broken on ia64 and amd64.Anton Berezin2004-11-291-0/+4
| | | | | | | | PR: 74502 Submitted by: maintainer Notes: svn path=/head/; revision=122742
* - Add optional CoqIde support (depends on lablgtk2)Pav Lucistnik2004-11-083-58/+69
| | | | | | | | | | | - Correct PORTVERSION to match actual source version - Cosmetics PR: ports/73634 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer) Notes: svn path=/head/; revision=121155
* Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik2004-10-164-0/+597
mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> Notes: svn path=/head/; revision=119551
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-07 22:12:17 +0000