From owner-cvs-ports@FreeBSD.ORG Fri Apr 4 12:13:33 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 AB702106566C; Fri, 4 Apr 2008 12:13:33 +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 9EC3F8FC16; Fri, 4 Apr 2008 12:13:33 +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 m34CDXl6032215; Fri, 4 Apr 2008 12:13:33 GMT (envelope-from rafan@repoman.freebsd.org) Received: (from rafan@localhost) by repoman.freebsd.org (8.14.1/8.14.1/Submit) id m34CDX8U032214; Fri, 4 Apr 2008 12:13:33 GMT (envelope-from rafan) Message-Id: <200804041213.m34CDX8U032214@repoman.freebsd.org> From: Rong-En Fan Date: Fri, 4 Apr 2008 12:13:33 +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/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-isa_isabelle-system.el pkg-message.in 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:13:33 -0000 rafan 2008-04-04 12:13:33 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile distinfo pkg-plist math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-isa_isabelle-system.el pkg-message.in Log: - Update to 3.7 PR: ports/120987 Submitted by: Timothy Bourke (maintainer) Revision Changes Path 1.19 +3 -3 ports/math/proofgeneral/Makefile 1.6 +3 -3 ports/math/proofgeneral/distinfo 1.6 +51 -42 ports/math/proofgeneral/files/patch-Makefile 1.3 +10 -10 ports/math/proofgeneral/files/patch-doc-Makefile.doc 1.3 +0 -13 ports/math/proofgeneral/files/patch-isa_isabelle-system.el 1.2 +1 -1 ports/math/proofgeneral/files/pkg-message.in 1.9 +525 -505 ports/math/proofgeneral/pkg-plist