Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/isabelle
Commit message (Collapse)AuthorAgeFilesLines
* Fix XML.Jeroen Roovers2013-05-031-5/+5
| | | | (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Fix XML.Jeroen Roovers2013-05-032-3/+6
| | | | (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵Mark Wright2012-12-091-5/+7
| | | | | | functionality, like using Simpl/Vcg. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵Mark Wright2012-12-094-4/+32
| | | | | | functionality, like using Simpl/Vcg. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵Mark Wright2012-12-051-6/+6
| | | | | | 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)
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵Mark Wright2012-12-053-11/+48
| | | | | | 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-22/+22
| | | | (Portage version: 2.1.11.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* isabelle doc requires a symlinkMark Wright2012-09-203-7/+13
| | | | (Portage version: 2.1.11.18/cvs/Linux x86_64)
* Patch signal handling: ↵Mark Wright2012-06-151-5/+7
| | | | | | 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, signed Manifest commit with key 618E971F)
* Patch signal handling: ↵Mark Wright2012-06-154-2/+58
| | | | | | 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-5/+15
| | | | | | 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, signed Manifest commit with key 618E971F)
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵Mark Wright2012-05-309-1/+687
| | | | | | 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-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-303-3/+10
| | | | (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-5/+5
| | | | | | to cd/pushd and tests. Require polyml with -portable. (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ↵Mark Wright2012-01-092-24/+22
| | | | | | 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/+16
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-085-0/+245
(Portage version: 2.1.10.44/cvs/Linux x86_64)