Date: Thu, 22 Mar 2007 11:32:00 +0000 (UTC) From: Martin Wilke <miwi@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/isabelle Makefile pkg-install pkg-plist ports/math/isabelle/files badmaxdsiz patch-etc-settings polyml-4.1.4-patch.ML polyml-4.2.0.ML polyml-5.0.ML proofgeneral-settings.el run-polyml-5.0 Message-ID: <200703221132.l2MBW0JC054111@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
miwi 2007-03-22 11:32:00 UTC
FreeBSD ports repository
Modified files:
math/isabelle Makefile pkg-plist
math/isabelle/files patch-etc-settings
Added files:
math/isabelle/files polyml-5.0.ML proofgeneral-settings.el
run-polyml-5.0
Removed files:
math/isabelle pkg-install
math/isabelle/files badmaxdsiz polyml-4.1.4-patch.ML
polyml-4.2.0.ML
Log:
- Fix crash with lang/polyml.
PR: 109958
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Revision Changes Path
1.4 +14 -16 ports/math/isabelle/Makefile
1.2 +0 -18 ports/math/isabelle/files/badmaxdsiz (dead)
1.3 +1 -1 ports/math/isabelle/files/patch-etc-settings
1.2 +0 -31 ports/math/isabelle/files/polyml-4.1.4-patch.ML (dead)
1.2 +0 -9 ports/math/isabelle/files/polyml-4.2.0.ML (dead)
1.1 +33 -0 ports/math/isabelle/files/polyml-5.0.ML (new)
1.1 +17 -0 ports/math/isabelle/files/proofgeneral-settings.el (new)
1.1 +93 -0 ports/math/isabelle/files/run-polyml-5.0 (new)
1.2 +0 -23 ports/math/isabelle/pkg-install (dead)
1.4 +2 -2 ports/math/isabelle/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200703221132.l2MBW0JC054111>