4 commits

Author	SHA1	Message	Date
Edwin Groothuis	a437d08eca	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry ... Approved by: krion@ PR: ports/88711 (related)	2006-01-22 02:30:01 +00:00
Volker Stolz	951f10473d	Fix packaging ... PR: ports/75787 Submitted by: maintainer	2005-01-18 16:44:23 +00:00
Pav Lucistnik	dc7c8ff64b	- Add optional CoqIde support (depends on lablgtk2) ... - Correct PORTVERSION to match actual source version - Cosmetics PR: ports/73634 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)	2004-11-08 21:57:29 +00:00
Pav Lucistnik	253ba3b3b5	Add coq, a formal proof management system: a proof done with Coq is ... 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>	2004-10-16 00:55:32 +00:00