summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-011-18/+8
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-013-6/+21
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-311-7/+17
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-312-3/+4
* Fixing RDEPENDAndrey Grozin2012-05-311-2/+2
* Fixing RDEPENDAndrey Grozin2012-05-312-9/+11
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing bu...Andrey Grozin2012-05-311-2/+2
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing bu...Andrey Grozin2012-05-314-0/+112
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-301-0/+14
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i...Mark Wright2012-05-301-0/+14
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i...Mark Wright2012-05-303-0/+105
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-301-0/+15
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-304-0/+201
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...Mark Wright2012-05-301-5/+15
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...Mark Wright2012-05-309-1/+687
* Version bumpSebastien Fabbro2012-05-291-6/+6
* Version bumpSebastien Fabbro2012-05-292-2/+8
* inherit eutils for make_desktop_entrySamuli Suominen2012-05-211-17/+11
* inherit eutils for make_desktop_entrySamuli Suominen2012-05-214-7/+11
* Add missing inheritance of eutils.eclassKacper Kowalik2012-05-211-7/+27
* Add missing inheritance of eutils.eclassKacper Kowalik2012-05-217-16/+21
* Version bump. Remove old.Paweł Hajdan2012-05-211-10/+9
* Version bump. Remove old.Paweł Hajdan2012-05-213-14/+37
* Remove unnecessary gnome-extra/yelp from runtime dependencies; src/ui/gui/aut...Samuli Suominen2012-05-211-2/+16
* Remove unnecessary gnome-extra/yelp from runtime dependencies; src/ui/gui/aut...Samuli Suominen2012-05-212-3/+9
* Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable.Thomas Kahle2012-05-181-14/+6
* Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable.Thomas Kahle2012-05-185-150/+14
* Stable for amd64, wrt bug #415975Agostino Sarubbo2012-05-181-6/+10
* Stable for amd64, wrt bug #415975Agostino Sarubbo2012-05-182-3/+6
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-171-6/+8
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-172-1/+88
* bump to 27.7-r1 to reflect changed source location (Bug 416225)Thomas Kahle2012-05-161-7/+7
* bump to 27.7-r1 to reflect changed source location (Bug 416225)Thomas Kahle2012-05-162-4/+14
* Fix parallel build of docsThomas Kahle2012-05-161-5/+5
* Fix parallel build of docsThomas Kahle2012-05-162-4/+6
* Install pdf manual with USE='doc'. (Bug 415939)Thomas Kahle2012-05-161-7/+7
* Install pdf manual with USE='doc'. (Bug 415939)Thomas Kahle2012-05-162-5/+12
* Fix bug 414709. Thanks Jean-Francis Roy for the solution.Thomas Kahle2012-05-131-4/+5
* Fix bug 414709. Thanks Jean-Francis Roy for the solution.Thomas Kahle2012-05-132-1/+193
* New package: Machine Learning PYthon (mlpy) is a high-performance Python libr...Donnie Berkholz2012-05-111-0/+4
* New package: Machine Learning PYthon (mlpy) is a high-performance Python libr...Donnie Berkholz2012-05-113-0/+50
* examples are not configured, only installed (fixing bug #415349) together wit...Sebastien Fabbro2012-05-101-8/+5
* examples are not configured, only installed (fixing bug #415349) together wit...Sebastien Fabbro2012-05-103-86/+11
* keyword ~amd64-fbsdAlexis Ballier2012-05-091-2/+12
* keyword ~amd64-fbsdAlexis Ballier2012-05-092-3/+6
* Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029)Sebastien Fabbro2012-05-081-2/+13
* Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029)Sebastien Fabbro2012-05-083-2/+18
* Version bump. Optimize python module only when python is selected (bug #356975)Sebastien Fabbro2012-05-081-5/+15
* Version bump. Optimize python module only when python is selected (bug #356975)Sebastien Fabbro2012-05-086-171/+80