diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2013-05-03 14:53:50 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2013-05-03 14:53:50 +0000 |
| commit | 400d46b9667c9634ea9a761763b73256d4e760f8 (patch) | |
| tree | e9ca5042ec54792b4e027836c6b707c283faa3f6 /sci-mathematics/isabelle/ChangeLog | |
| parent | Use prune_libtool_files --all instead of custom find now that it's capable of... (diff) | |
| download | historical-400d46b9667c9634ea9a761763b73256d4e760f8.tar.gz historical-400d46b9667c9634ea9a761763b73256d4e760f8.tar.bz2 historical-400d46b9667c9634ea9a761763b73256d4e760f8.zip | |
Fix XML.
Package-Manager: portage-2.2.0_alpha173/cvs/Linux x86_64
Manifest-Sign-Key: 0xA792A613
Diffstat (limited to 'sci-mathematics/isabelle/ChangeLog')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog index bf1ad02ebe5d..e27701d55688 100644 --- a/sci-mathematics/isabelle/ChangeLog +++ b/sci-mathematics/isabelle/ChangeLog @@ -1,6 +1,9 @@ # 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.7 2012/12/05 10:09:32 gienah Exp $ +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.8 2013/05/03 14:53:49 jer Exp $ + + 03 May 2013; Jeroen Roovers <jer@gentoo.org> metadata.xml: + Fix XML. 05 Dec 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1-r1.ebuild, isabelle-2012.ebuild: |