diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:06 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:06 +0000 |
| commit | 09ba3553204223ecb696e38a12d9036f6d1e966b (patch) | |
| tree | 5970cf74601c2a73a9ffbf99ce698380bb115a97 /sci-mathematics/isabelle/ChangeLog | |
| parent | Initial import (diff) | |
| download | gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.tar.gz gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.tar.bz2 gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.zip | |
Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle).
(Portage version: 2.1.10.63/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/isabelle/ChangeLog')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog index c2ba2bd7f436..5f501379ce89 100644 --- a/sci-mathematics/isabelle/ChangeLog +++ b/sci-mathematics/isabelle/ChangeLog @@ -1,6 +1,21 @@ # 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 $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.4 2012/05/30 00:45:06 gienah Exp $ + +*isabelle-2012 (30 May 2012) +*isabelle-2011.1-r1 (30 May 2012) + + 30 May 2012; Mark Wright <gienah@gentoo.org> +isabelle-2011.1-r1.ebuild, + +files/isabelle-2011.1-gentoo-settings.patch, + +files/isabelle-2011.1-reverse-line-editor-order.patch, + +isabelle-2012.ebuild, +files/isabelle-2012-gentoo-settings.patch, + +files/isabelle-2012-graphbrowser.patch, + +files/isabelle-2012-reverse-line-editor-order.patch, metadata.xml: + Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover + IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags + for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src + directory with use=doc (2012) as doc-src stuff is required when building doc + some isabelle add on packages (sci-mathematics/haskabelle). 30 Jan 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1.ebuild, metadata.xml: |