makc 2010-10-30 18:34:26 UTC
FreeBSD ports repository
Modified files:
math/isabelle Makefile distinfo pkg-plist
math/isabelle/files patch-etc-settings
Removed files:
math/isabelle/files 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
Log:
Update to 2009.2
PR: ports/149736
Submitted by: Timothy Beyer (maintainer)
Revision Changes Path
1.16 +24 -19 ports/math/isabelle/Makefile
1.7 +4 -9 ports/math/isabelle/distinfo
1.7 +35 -80 ports/math/isabelle/files/patch-etc-settings
1.5 +0 -25 ports/math/isabelle/files/patch-lib-scripts-run_smlnj
(dead)
1.2 +0 -15
ports/math/isabelle/files/patch-src-HOL-Tools-atp_manager.ML (dead)
1.2 +0 -18
ports/math/isabelle/files/patch-src-HOL-Tools-atp_wrapper.ML (dead)
1.2 +0 -29
ports/math/isabelle/files/patch-src-HOL-Tools-int_arith.ML (dead)
1.2 +0 -65
ports/math/isabelle/files/patch-src-HOL-Tools-int_factor_simprocs.ML (dead)
1.2 +0 -83
ports/math/isabelle/files/patch-src-HOL-Tools-nat_simprocs.ML (dead)
1.9 +3832 -2836 ports/math/isabelle/pkg-plist
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
