blob: c2ba2bd7f436e23ac581bc816389e6c2c349767b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# 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.3 2012/01/30 06:54:53 gienah Exp $
30 Jan 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1.ebuild,
metadata.xml:
Fix bug #400961, thanks to Mr. Anderson for report and fix.
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
|