Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/isabelle/metadata.xml
Commit message (Collapse)AuthorAgeFilesLines
* Fix XML.Jeroen Roovers2013-05-031-1/+1
| | | | (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵Mark Wright2012-05-301-0/+4
| | | | | | 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-0/+3
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-081-0/+36
(Portage version: 2.1.10.44/cvs/Linux x86_64)