Date: Mon, 1 May 2006 18:01:58 +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/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files Makefile patch-etc-settings patch-lib-Tools-doc polyml-4.1.4-patch.ML polyml-4.2.0.ML Message-ID: <200605011801.k41I1weA043131@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
sem 2006-05-01 18:01:58 UTC
FreeBSD ports repository
Modified files:
math/isabelle Makefile distinfo pkg-plist
math/isabelle/files Makefile patch-etc-settings
Added files:
math/isabelle/files polyml-4.1.4-patch.ML polyml-4.2.0.ML
Removed files:
math/isabelle/files patch-lib-Tools-doc
Log:
- Update to 2005
PR: ports/94671
Submitted by: maintainer
Revision Changes Path
1.2 +26 -24 ports/math/isabelle/Makefile
1.2 +6 -6 ports/math/isabelle/distinfo
1.2 +10 -11 ports/math/isabelle/files/Makefile
1.2 +32 -96 ports/math/isabelle/files/patch-etc-settings
1.2 +0 -10 ports/math/isabelle/files/patch-lib-Tools-doc (dead)
1.1 +31 -0 ports/math/isabelle/files/polyml-4.1.4-patch.ML (new)
1.1 +9 -0 ports/math/isabelle/files/polyml-4.2.0.ML (new)
1.2 +3517 -3423 ports/math/isabelle/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200605011801.k41I1weA043131>