Date: Wed, 31 Aug 2005 10:36:36 +0000 (UTC) From: Simon Barner <barner@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math Makefile ports/math/proofgeneral Makefile distinfo pkg-descr 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 pkg-message.in Message-ID: <200508311036.j7VAaaXJ077075@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
barner 2005-08-31 10:36:36 UTC
FreeBSD ports repository
Modified files:
math Makefile
Added files:
math/proofgeneral Makefile distinfo pkg-descr pkg-plist
math/proofgeneral/files patch-Makefile patch-doc-Makefile
patch-doc-Makefile.doc
patch-etc_desktop_proofgeneral.desktop
patch-generic-proof-menu.el
pkg-message.in
Log:
Add proofgeneral 3.5, a generic interface for proof assistants.
PR: 84788
Submitted by: Timothy Bourke <timbob@bigpond.com>
Revision Changes Path
1.340 +1 -0 ports/math/Makefile
1.1 +76 -0 ports/math/proofgeneral/Makefile (new)
1.1 +2 -0 ports/math/proofgeneral/distinfo (new)
1.1 +179 -0 ports/math/proofgeneral/files/patch-Makefile (new)
1.1 +13 -0 ports/math/proofgeneral/files/patch-doc-Makefile (new)
1.1 +17 -0 ports/math/proofgeneral/files/patch-doc-Makefile.doc (new)
1.1 +11 -0 ports/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop (new)
1.1 +15 -0 ports/math/proofgeneral/files/patch-generic-proof-menu.el (new)
1.1 +9 -0 ports/math/proofgeneral/files/pkg-message.in (new)
1.1 +13 -0 ports/math/proofgeneral/pkg-descr (new)
1.1 +380 -0 ports/math/proofgeneral/pkg-plist (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200508311036.j7VAaaXJ077075>