From owner-cvs-ports@FreeBSD.ORG  Mon May  1 18:01:58 2006
Return-Path: <owner-cvs-ports@FreeBSD.ORG>
X-Original-To: cvs-ports@FreeBSD.org
Delivered-To: cvs-ports@FreeBSD.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id B213416A402;
	Mon,  1 May 2006 18:01:58 +0000 (UTC) (envelope-from sem@FreeBSD.org)
Received: from repoman.freebsd.org (repoman.freebsd.org [216.136.204.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 7E2AF43D45;
	Mon,  1 May 2006 18:01:58 +0000 (GMT) (envelope-from sem@FreeBSD.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.13.1/8.13.1) with ESMTP id k41I1wi3043132;
	Mon, 1 May 2006 18:01:58 GMT (envelope-from sem@repoman.freebsd.org)
Received: (from sem@localhost)
	by repoman.freebsd.org (8.13.1/8.13.1/Submit) id k41I1weA043131;
	Mon, 1 May 2006 18:01:58 GMT (envelope-from sem)
Message-Id: <200605011801.k41I1weA043131@repoman.freebsd.org>
From: Sergey Matveychuk <sem@FreeBSD.org>
Date: Mon, 1 May 2006 18:01:58 +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 Makefile patch-etc-settings
 patch-lib-Tools-doc polyml-4.1.4-patch.ML polyml-4.2.0.ML
X-BeenThere: cvs-ports@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: CVS commit messages for the ports tree <cvs-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-ports>
List-Post: <mailto:cvs-ports@freebsd.org>
List-Help: <mailto:cvs-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 01 May 2006 18:01:58 -0000

sem         2006-05-01 18:01:58 UTC

  FreeBSD ports repository

  Modified files:
    math/isabelle        Makefile distinfo pkg-plist 
    math/isabelle/files  Makefile patch-etc-settings 
  Added files:
    math/isabelle/files  polyml-4.1.4-patch.ML polyml-4.2.0.ML 
  Removed files:
    math/isabelle/files  patch-lib-Tools-doc 
  Log:
  - Update to 2005
  
  PR:             ports/94671
  Submitted by:   maintainer
  
  Revision  Changes      Path
  1.2       +26 -24      ports/math/isabelle/Makefile
  1.2       +6 -6        ports/math/isabelle/distinfo
  1.2       +10 -11      ports/math/isabelle/files/Makefile
  1.2       +32 -96      ports/math/isabelle/files/patch-etc-settings
  1.2       +0 -10       ports/math/isabelle/files/patch-lib-Tools-doc (dead)
  1.1       +31 -0       ports/math/isabelle/files/polyml-4.1.4-patch.ML (new)
  1.1       +9 -0        ports/math/isabelle/files/polyml-4.2.0.ML (new)
  1.2       +3517 -3423  ports/math/isabelle/pkg-plist