Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/e
Commit message (Collapse)AuthorAgeFilesLines
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir ↵Mark Wright2013-08-231-5/+5
| | | | | | unecessary, dobin and doman take multiple arguments, dohtml estyle.sty). (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir ↵Mark Wright2013-08-232-14/+9
| | | | | | unecessary, dobin and doman take multiple arguments, dohtml estyle.sty). (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-4/+6
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-2/+132
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-6/+6
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-3/+6
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* fix bug 466776 - typo in email addressMark Wright2013-05-241-5/+5
| | | | (Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* fix bug 466776 - typo in email addressMark Wright2013-05-242-3/+7
| | | | (Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-051-6/+6
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-053-23/+21
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.6 Tiger HillMark Wright2012-09-201-8/+10
| | | | (Portage version: 2.1.11.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.6 Tiger HillMark Wright2012-09-202-2/+137
| | | | (Portage version: 2.1.11.18/cvs/Linux x86_64)
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-301-0/+14
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
(Portage version: 2.1.10.63/cvs/Linux x86_64)