sci-mathematics/isabelle/ChangeLog


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