3 commits

Author	SHA1	Message	Date
Michael Scheidell	77a5fc6b3f	- Update to 4.1 ... - Fix build on amd64 - XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs may be used - Omit pdf compilation since a newer version of latex then is in ports is needed - Use PORTDOCS= macros to simplefy Makefile and pkg-plist PR: ports/166867 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer0	2012-04-19 22:38:31 +00:00
Sergey Matveychuk	7a50243ff9	- Update to 3.6 ... PR: ports/94670 Submitted by: maintainer	2006-05-01 18:00:51 +00:00
Simon Barner	f6925bfda8	Add proofgeneral 3.5, a generic interface for proof assistants. ... PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com>	2005-08-31 10:36:36 +00:00