From owner-cvs-ports@FreeBSD.ORG Fri Apr 4 12:15:23 2008 Return-Path: Delivered-To: cvs-ports@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 5368B106566B; Fri, 4 Apr 2008 12:15:23 +0000 (UTC) (envelope-from rafan@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id 450068FC19; Fri, 4 Apr 2008 12:15:23 +0000 (UTC) (envelope-from rafan@FreeBSD.org) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.1/8.14.1) with ESMTP id m34CFNmc032406; Fri, 4 Apr 2008 12:15:23 GMT (envelope-from rafan@repoman.freebsd.org) Received: (from rafan@localhost) by repoman.freebsd.org (8.14.1/8.14.1/Submit) id m34CFN3I032405; Fri, 4 Apr 2008 12:15:23 GMT (envelope-from rafan) Message-Id: <200804041215.m34CFN3I032405@repoman.freebsd.org> From: Rong-En Fan Date: Fri, 4 Apr 2008 12:15:22 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: Subject: cvs commit: ports/math/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files patch-bin-isabelle_process patch-build patch-etc-settings patch-lib-Tools-browser patch-lib-Tools-codegen patch-lib-Tools-display patch-lib-Tools-findlogics patch-lib-Tools-keywords ... X-BeenThere: cvs-ports@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: CVS commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 04 Apr 2008 12:15:23 -0000 rafan 2008-04-04 12:15:22 UTC FreeBSD ports repository Modified files: math/isabelle Makefile distinfo pkg-plist math/isabelle/files patch-bin-isabelle_process patch-build patch-etc-settings patch-lib-Tools-browser patch-lib-Tools-display patch-lib-Tools-findlogics patch-lib-Tools-makeall patch-lib-Tools-mkdir patch-lib-Tools-usedir patch-lib-Tools-version patch-lib-scripts-getsettings patch-lib-scripts-polyml_platform patch-lib-scripts-polyml_version patch-lib-scripts-run_polyml patch-lib-scripts-run_smlnj patch-src-Pure-mk Added files: math/isabelle/files patch-lib-Tools-codegen patch-lib-Tools-keywords patch-lib-Tools-mkproject patch-lib-scripts-configure patch-lib-scripts-fileindent patch-lib-scripts-run_polyml_5.0 patch-lib-scripts-run_polyml_5.1 patch-lib-scripts-run_poplogml patch-lib-scripts-timestart.bash patch-lib-scripts-timestop.bash Removed files: math/isabelle/files patch-lib-scripts-showtime polyml-5.0.ML proofgeneral-settings.el run-polyml-5.0 Log: - Update to 2007 PR: ports/121000 Submitted by: Timothy Bourke (maintainer) Revision Changes Path 1.8 +9 -18 ports/math/isabelle/Makefile 1.4 +9 -9 ports/math/isabelle/distinfo 1.2 +4 -4 ports/math/isabelle/files/patch-bin-isabelle_process 1.2 +3 -12 ports/math/isabelle/files/patch-build 1.4 +97 -24 ports/math/isabelle/files/patch-etc-settings 1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-browser 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-codegen (new) 1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-display 1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-findlogics 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-keywords (new) 1.2 +5 -7 ports/math/isabelle/files/patch-lib-Tools-makeall 1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-mkdir 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-mkproject (new) 1.2 +6 -15 ports/math/isabelle/files/patch-lib-Tools-usedir 1.2 +2 -2 ports/math/isabelle/files/patch-lib-Tools-version 1.1 +15 -0 ports/math/isabelle/files/patch-lib-scripts-configure (new) 1.1 +8 -0 ports/math/isabelle/files/patch-lib-scripts-fileindent (new) 1.2 +5 -14 ports/math/isabelle/files/patch-lib-scripts-getsettings 1.2 +3 -3 ports/math/isabelle/files/patch-lib-scripts-polyml_platform 1.2 +3 -3 ports/math/isabelle/files/patch-lib-scripts-polyml_version 1.2 +24 -36 ports/math/isabelle/files/patch-lib-scripts-run_polyml 1.1 +50 -0 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.0 (new) 1.1 +50 -0 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.1 (new) 1.1 +59 -0 ports/math/isabelle/files/patch-lib-scripts-run_poplogml (new) 1.2 +7 -2 ports/math/isabelle/files/patch-lib-scripts-run_smlnj 1.2 +0 -26 ports/math/isabelle/files/patch-lib-scripts-showtime (dead) 1.1 +16 -0 ports/math/isabelle/files/patch-lib-scripts-timestart.bash (new) 1.1 +44 -0 ports/math/isabelle/files/patch-lib-scripts-timestop.bash (new) 1.2 +3 -12 ports/math/isabelle/files/patch-src-Pure-mk 1.2 +0 -33 ports/math/isabelle/files/polyml-5.0.ML (dead) 1.2 +0 -17 ports/math/isabelle/files/proofgeneral-settings.el (dead) 1.3 +0 -100 ports/math/isabelle/files/run-polyml-5.0 (dead) 1.6 +1160 -757 ports/math/isabelle/pkg-plist