sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-07 05:40:30 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
349497 commits 47 branches 104 tags 1.8 GiB
Commit graph

2 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
Edwin Groothuis
6f2b571e98 [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1 
PR:		ports/126066
Submitted by:	Timothy Bourke <timbob@bigpond.com>
 2008-08-15 01:03:23 +00:00