/[gentoo-x86]/sci-mathematics/isabelle/ChangeLog
Gentoo

Contents of /sci-mathematics/isabelle/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.7 - (show annotations) (download)
Wed Dec 5 10:09:32 2012 UTC (2 years, 1 month ago) by gienah
Branch: MAIN
Changes since 1.6: +8 -1 lines
EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail.

(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

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

  ViewVC Help
Powered by ViewVC 1.1.20