K 10 svn:author V 9 scheidell K 8 svn:date V 27 2012-04-19T22:38:31.000000Z K 7 svn:log V 346 - 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 (maintainer0 END