From owner-cvs-all@FreeBSD.ORG Mon Sep 10 12:11:11 2007 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 0782516A417; Mon, 10 Sep 2007 12:11:11 +0000 (UTC) (envelope-from edwin@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id CCBEF13C45B; Mon, 10 Sep 2007 12:11:10 +0000 (UTC) (envelope-from edwin@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 l8ACBADw005613; Mon, 10 Sep 2007 12:11:10 GMT (envelope-from edwin@repoman.freebsd.org) Received: (from edwin@localhost) by repoman.freebsd.org (8.14.1/8.14.1/Submit) id l8ACBA7w005611; Mon, 10 Sep 2007 12:11:10 GMT (envelope-from edwin) Message-Id: <200709101211.l8ACBA7w005611@repoman.freebsd.org> From: Edwin Groothuis Date: Mon, 10 Sep 2007 12:11:10 +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 pkg-plist ports/math/isabelle/files Makefile patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool patch-build patch-lib-Tools-browser ... X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 10 Sep 2007 12:11:11 -0000 edwin 2007-09-10 12:11:10 UTC FreeBSD ports repository Modified files: math/isabelle Makefile pkg-plist math/isabelle/files Makefile run-polyml-5.0 Added files: math/isabelle/files patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool patch-build patch-lib-Tools-browser patch-lib-Tools-convert patch-lib-Tools-dimacs2hol patch-lib-Tools-display patch-lib-Tools-doc patch-lib-Tools-document patch-lib-Tools-expandshort patch-lib-Tools-findlogics patch-lib-Tools-fixcpure patch-lib-Tools-fixgreek patch-lib-Tools-fixheaders patch-lib-Tools-fixsome patch-lib-Tools-getenv patch-lib-Tools-install patch-lib-Tools-latex patch-lib-Tools-logo patch-lib-Tools-make patch-lib-Tools-makeall patch-lib-Tools-mkdir patch-lib-Tools-print patch-lib-Tools-unsymbolize patch-lib-Tools-usedir patch-lib-Tools-version patch-lib-scripts-feeder patch-lib-scripts-getsettings patch-lib-scripts-patch_scripts.bash patch-lib-scripts-polyml_platform patch-lib-scripts-polyml_version patch-lib-scripts-run_mosml patch-lib-scripts-run_polyml patch-lib-scripts-run_smlnj patch-lib-scripts-showtime patch-src-Pure-mk Log: Update port: math/isabelle Update to Isabelle port: * Works with updated sml-nj-devel port. * Does not require bash Thanks to Johannes 5 Joemann for helpful comments/patches. PR: ports/116046 Submitted by: Timothy Bourke Revision Changes Path 1.6 +6 -5 ports/math/isabelle/Makefile 1.3 +2 -2 ports/math/isabelle/files/Makefile 1.1 +8 -0 ports/math/isabelle/files/patch-bin-Isabelle (new) 1.1 +8 -0 ports/math/isabelle/files/patch-bin-isabelle (new) 1.1 +23 -0 ports/math/isabelle/files/patch-bin-isabelle_interface (new) 1.1 +32 -0 ports/math/isabelle/files/patch-bin-isabelle_process (new) 1.1 +32 -0 ports/math/isabelle/files/patch-bin-isatool (new) 1.1 +41 -0 ports/math/isabelle/files/patch-build (new) 1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-browser (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-convert (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-dimacs2hol (new) 1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-display (new) 1.3 +26 -0 ports/math/isabelle/files/patch-lib-Tools-doc (new) 1.1 +44 -0 ports/math/isabelle/files/patch-lib-Tools-document (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-expandshort (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-findlogics (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixcpure (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixgreek (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixheaders (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixsome (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-getenv (new) 1.1 +54 -0 ports/math/isabelle/files/patch-lib-Tools-install (new) 1.1 +65 -0 ports/math/isabelle/files/patch-lib-Tools-latex (new) 1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-logo (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-make (new) 1.1 +28 -0 ports/math/isabelle/files/patch-lib-Tools-makeall (new) 1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-mkdir (new) 1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-print (new) 1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-unsymbolize (new) 1.1 +57 -0 ports/math/isabelle/files/patch-lib-Tools-usedir (new) 1.1 +8 -0 ports/math/isabelle/files/patch-lib-Tools-version (new) 1.1 +26 -0 ports/math/isabelle/files/patch-lib-scripts-feeder (new) 1.1 +39 -0 ports/math/isabelle/files/patch-lib-scripts-getsettings (new) 1.1 +37 -0 ports/math/isabelle/files/patch-lib-scripts-patch_scripts.bash (new) 1.1 +8 -0 ports/math/isabelle/files/patch-lib-scripts-polyml_platform (new) 1.1 +8 -0 ports/math/isabelle/files/patch-lib-scripts-polyml_version (new) 1.1 +35 -0 ports/math/isabelle/files/patch-lib-scripts-run_mosml (new) 1.1 +57 -0 ports/math/isabelle/files/patch-lib-scripts-run_polyml (new) 1.1 +68 -0 ports/math/isabelle/files/patch-lib-scripts-run_smlnj (new) 1.1 +26 -0 ports/math/isabelle/files/patch-lib-scripts-showtime (new) 1.1 +35 -0 ports/math/isabelle/files/patch-src-Pure-mk (new) 1.2 +13 -6 ports/math/isabelle/files/run-polyml-5.0 1.5 +0 -1 ports/math/isabelle/pkg-plist