Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/isabelle/ChangeLog
Commit message (Collapse)AuthorAgeFilesLines
* Slot scalaMark Wright2015-04-171-1/+9
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download ↵Mark Wright2015-03-251-1/+7
| | | | | | 'Isabelle2013-2.tar.gz'. Aborting. Thanks to Toralf Forster for reporting, Thomas Kahle for finding the missing download file. (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot ↵Mark Wright2015-01-251-2/+12
| | | | | | dependencies for java packages. Add upper range dependency <dev-lang/scala-2.11.1 to 2013-r1. (Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* [QA] Change !use by ! use such that it negates the USE flag instead of ↵Tom Wijsman2014-01-071-2/+12
| | | | | | expanding history. Revision bump to ensure users get the fix accordingly. (Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 6D34E57D)
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-011-1/+4
| | | | (Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-311-1/+9
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix XML.Jeroen Roovers2013-05-031-2/+5
| | | | (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵Mark Wright2012-12-051-1/+8
| | | | | | 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)
* isabelle doc requires a symlinkMark Wright2012-09-201-2/+5
| | | | (Portage version: 2.1.11.18/cvs/Linux x86_64)
* Patch signal handling: ↵Mark Wright2012-06-151-1/+10
| | | | | | http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2732 Change "Ignoring redundant equation" warning to an error to avoid proofs being undertaken on the basis of a mistaken definition: http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2780 (Portage version: 2.1.10.65/cvs/Linux x86_64)
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵Mark Wright2012-05-301-1/+16
| | | | | | 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)
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-301-1/+5
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ↵Mark Wright2012-01-091-1/+5
| | | | | | to cd/pushd and tests. Require polyml with -portable. (Portage version: 2.1.10.44/cvs/Linux x86_64)
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-081-0/+11
(Portage version: 2.1.10.44/cvs/Linux x86_64)