Date: Mon, 1 May 2006 18:00:51 +0000 (UTC) From: Sergey Matveychuk <sem@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 patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop patch-generic-proof-menu.el patch-isa_isabelle-system.el Message-ID: <200605011800.k41I0pud042282@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200605011800.k41I0pud042282>