diff options
Diffstat (limited to 'sci-mathematics/isabelle/ChangeLog')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog new file mode 100644 index 000000000000..759d5478e73d --- /dev/null +++ b/sci-mathematics/isabelle/ChangeLog @@ -0,0 +1,11 @@ +# ChangeLog for sci-mathematics/isabelle +# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.1 2012/01/08 12:35:43 gienah Exp $ + +*isabelle-2011.1 (08 Jan 2012) + + 08 Jan 2012; Mark Wright <gienah@gentoo.org> +isabelle-2011.1.ebuild, + +files/isabelle-2011.1-graphbrowser.patch, + +files/isabelle-2011.1-proofgeneral-gentoo-path.patch, +metadata.xml: + New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 + |