Date: Thu, 29 Oct 2009 22:23:28 +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 distinfo pkg-plist ports/math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj patch-src-HOL-Tools-atp_manager.ML patch-src-HOL-Tools-atp_wrapper.ML patch-src-HOL-Tools-int_arith.ML patch-src-HOL-Tools-int_factor_simprocs.ML patch-src-HOL-Tools-nat_simprocs.ML Message-ID: <200910292223.n9TMNSbE053500@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
miwi 2009-10-29 22:23:28 UTC
FreeBSD ports repository
Modified files:
math/isabelle Makefile distinfo pkg-plist
math/isabelle/files patch-etc-settings
patch-lib-scripts-run_smlnj
Added files:
math/isabelle/files patch-src-HOL-Tools-atp_manager.ML
patch-src-HOL-Tools-atp_wrapper.ML
patch-src-HOL-Tools-int_arith.ML
patch-src-HOL-Tools-int_factor_simprocs.ML
patch-src-HOL-Tools-nat_simprocs.ML
Log:
- Update to 2009
PR: 139737
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Revision Changes Path
1.11 +35 -56 ports/math/isabelle/Makefile
1.6 +9 -9 ports/math/isabelle/distinfo
1.6 +71 -53 ports/math/isabelle/files/patch-etc-settings
1.4 +4 -4 ports/math/isabelle/files/patch-lib-scripts-run_smlnj
1.1 +15 -0 ports/math/isabelle/files/patch-src-HOL-Tools-atp_manager.ML (new)
1.1 +18 -0 ports/math/isabelle/files/patch-src-HOL-Tools-atp_wrapper.ML (new)
1.1 +29 -0 ports/math/isabelle/files/patch-src-HOL-Tools-int_arith.ML (new)
1.1 +65 -0 ports/math/isabelle/files/patch-src-HOL-Tools-int_factor_simprocs.ML (new)
1.1 +83 -0 ports/math/isabelle/files/patch-src-HOL-Tools-nat_simprocs.ML (new)
1.8 +1315 -551 ports/math/isabelle/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200910292223.n9TMNSbE053500>