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 <beyert@cs.ucr.edu> (maintainer0

END
