Date: Thu, 1 Sep 2005 10:03:58 +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/isabelle Makefile distinfo pkg-descr pkg-install pkg-plist ports/math/isabelle/files Makefile badmaxdsiz patch-etc-settings patch-lib-Tools-doc Message-ID: <200509011003.j81A3wdO096777@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
barner 2005-09-01 10:03:58 UTC
FreeBSD ports repository
Modified files:
math Makefile
Added files:
math/isabelle Makefile distinfo pkg-descr pkg-install
pkg-plist
math/isabelle/files Makefile badmaxdsiz patch-etc-settings
patch-lib-Tools-doc
Log:
Add isabelle 2004, a generic proof assistant.
PR: 84859
Submitted by: Timothy Bourke <timbob@bigpond.com>
Revision Changes Path
1.341 +1 -0 ports/math/Makefile
1.1 +91 -0 ports/math/isabelle/Makefile (new)
1.1 +6 -0 ports/math/isabelle/distinfo (new)
1.1 +31 -0 ports/math/isabelle/files/Makefile (new)
1.1 +18 -0 ports/math/isabelle/files/badmaxdsiz (new)
1.1 +122 -0 ports/math/isabelle/files/patch-etc-settings (new)
1.1 +10 -0 ports/math/isabelle/files/patch-lib-Tools-doc (new)
1.1 +20 -0 ports/math/isabelle/pkg-descr (new)
1.1 +23 -0 ports/math/isabelle/pkg-install (new)
1.1 +3855 -0 ports/math/isabelle/pkg-plist (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200509011003.j81A3wdO096777>