summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir ↵Mark Wright2013-08-233-19/+14
| | | | | | | unecessary, dobin and doman take multiple arguments, dohtml estyle.sty). Package-Manager: portage-2.2.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-6/+138
| | | | | Package-Manager: portage-2.2.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-9/+12
| | | | | Package-Manager: portage-2.2.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* fix bug 466776 - typo in email addressMark Wright2013-05-243-8/+12
| | | | | Package-Manager: portage-2.2.0_alpha176/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-054-29/+27
| | | | | | | updated if the isabelle use flag is enabled. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump E to 1.6 Tiger HillMark Wright2012-09-202-2/+137
| | | | Package-Manager: portage-2.1.11.18/cvs/Linux x86_64
* isabelle doc requires a symlinkMark Wright2012-09-201-8/+10
| | | | Package-Manager: portage-2.1.11.18/cvs/Linux x86_64
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
| | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-301-0/+14
Package-Manager: portage-2.1.10.63/cvs/Linux x86_64