blob: c5bb9e0742e8864453a6e361f4abb7e1b8b030c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# 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.2 2012/01/09 13:49:21 gienah Exp $
09 Jan 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1.ebuild:
Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die
to cd/pushd and tests. Require polyml with -portable.
*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
|
GitWeb
