Date: Fri, 4 Apr 2008 12:13:33 +0000 (UTC) From: Rong-En Fan <rafan@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-isa_isabelle-system.el pkg-message.in Message-ID: <200804041213.m34CDX8U032214@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
rafan 2008-04-04 12:13:33 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile distinfo pkg-plist
math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc
patch-isa_isabelle-system.el
pkg-message.in
Log:
- Update to 3.7
PR: ports/120987
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Revision Changes Path
1.19 +3 -3 ports/math/proofgeneral/Makefile
1.6 +3 -3 ports/math/proofgeneral/distinfo
1.6 +51 -42 ports/math/proofgeneral/files/patch-Makefile
1.3 +10 -10 ports/math/proofgeneral/files/patch-doc-Makefile.doc
1.3 +0 -13 ports/math/proofgeneral/files/patch-isa_isabelle-system.el
1.2 +1 -1 ports/math/proofgeneral/files/pkg-message.in
1.9 +525 -505 ports/math/proofgeneral/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200804041213.m34CDX8U032214>