| 1 |
# ChangeLog for sci-mathematics/isabelle
|
| 2 |
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
|
| 3 |
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.6 2012/09/20 13:07:43 gienah Exp $
|
| 4 |
|
| 5 |
05 Dec 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1-r1.ebuild,
|
| 6 |
isabelle-2012.ebuild:
|
| 7 |
EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is
|
| 8 |
updated. It is necessary to remove any non-existing directories from
|
| 9 |
/etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails,
|
| 10 |
which causes reverse dependent packages of sci-mathematics/isabelle to fail.
|
| 11 |
|
| 12 |
20 Sep 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1-r1.ebuild,
|
| 13 |
isabelle-2012.ebuild:
|
| 14 |
isabelle doc requires a symlink
|
| 15 |
|
| 16 |
15 Jun 2012; Mark Wright <gienah@gentoo.org>
|
| 17 |
+files/isabelle-2012-redundant-equations-in-function-definitions-error.patch,
|
| 18 |
+files/isabelle-2012-signal-handling.patch, isabelle-2012.ebuild:
|
| 19 |
Patch signal handling:
|
| 20 |
http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2732
|
| 21 |
Change "Ignoring redundant equation" warning to an error to avoid proofs being
|
| 22 |
undertaken on the basis of a mistaken definition:
|
| 23 |
http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2780
|
| 24 |
|
| 25 |
*isabelle-2012 (30 May 2012)
|
| 26 |
*isabelle-2011.1-r1 (30 May 2012)
|
| 27 |
|
| 28 |
30 May 2012; Mark Wright <gienah@gentoo.org> +isabelle-2011.1-r1.ebuild,
|
| 29 |
+files/isabelle-2011.1-gentoo-settings.patch,
|
| 30 |
+files/isabelle-2011.1-reverse-line-editor-order.patch,
|
| 31 |
+isabelle-2012.ebuild, +files/isabelle-2012-gentoo-settings.patch,
|
| 32 |
+files/isabelle-2012-graphbrowser.patch,
|
| 33 |
+files/isabelle-2012-reverse-line-editor-order.patch, metadata.xml:
|
| 34 |
Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover
|
| 35 |
IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags
|
| 36 |
for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src
|
| 37 |
directory with use=doc (2012) as doc-src stuff is required when building doc
|
| 38 |
some isabelle add on packages (sci-mathematics/haskabelle).
|
| 39 |
|
| 40 |
30 Jan 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1.ebuild,
|
| 41 |
metadata.xml:
|
| 42 |
Fix bug #400961, thanks to Mr. Anderson for report and fix.
|
| 43 |
|
| 44 |
09 Jan 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1.ebuild:
|
| 45 |
Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die
|
| 46 |
to cd/pushd and tests. Require polyml with -portable.
|
| 47 |
|
| 48 |
*isabelle-2011.1 (08 Jan 2012)
|
| 49 |
|
| 50 |
08 Jan 2012; Mark Wright <gienah@gentoo.org> +isabelle-2011.1.ebuild,
|
| 51 |
+files/isabelle-2011.1-graphbrowser.patch,
|
| 52 |
+files/isabelle-2011.1-proofgeneral-gentoo-path.patch, +metadata.xml:
|
| 53 |
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995
|
Parent Directory
| 
Revision Log