Date: Sat, 30 Oct 2010 18:34:26 +0000 (UTC) From: Max Brazhnikov <makc@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: <201010301834.o9UIYQKY092782@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201010301834.o9UIYQKY092782>