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>