cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist
ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile
patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop
patch-generic-proof-menu.el patch-isa_isabelle-system.el
Sergey Matveychuk
sem at FreeBSD.org
Mon May 1 18:00:52 UTC 2006
sem 2006-05-01 18:00:51 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile distinfo pkg-plist
math/proofgeneral/files patch-Makefile patch-doc-Makefile
patch-doc-Makefile.doc
patch-etc_desktop_proofgeneral.desktop
patch-generic-proof-menu.el
patch-isa_isabelle-system.el
Log:
- Update to 3.6
PR: ports/94670
Submitted by: maintainer
Revision Changes Path
1.4 +4 -11 ports/math/proofgeneral/Makefile
1.3 +2 -3 ports/math/proofgeneral/distinfo
1.2 +31 -34 ports/math/proofgeneral/files/patch-Makefile
1.2 +0 -13 ports/math/proofgeneral/files/patch-doc-Makefile
1.2 +5 -5 ports/math/proofgeneral/files/patch-doc-Makefile.doc
1.2 +8 -8 ports/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
1.2 +0 -15 ports/math/proofgeneral/files/patch-generic-proof-menu.el
1.2 +3 -3 ports/math/proofgeneral/files/patch-isa_isabelle-system.el
1.4 +73 -16 ports/math/proofgeneral/pkg-plist
More information about the cvs-ports
mailing list