summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* fix bug 466776 - typo in email addressMark Wright2013-05-241-1/+2
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-301-0/+31