Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/isabelle/isabelle-2012.ebuild
Commit message (Collapse)AuthorAgeFilesLines
* isabelle doc requires a symlinkMark Wright2012-09-201-4/+4
| | | | Package-Manager: portage-2.1.11.18/cvs/Linux x86_64
* Patch signal handling: ↵Mark Wright2012-06-151-1/+5
| | | | | | 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 Package-Manager: portage-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-0/+298
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). Package-Manager: portage-2.1.10.63/cvs/Linux x86_64