| Thu, 04 Dec 2014 16:51:54 +0100 | haftmann | tuned variable names | changeset | files |
| Thu, 04 Dec 2014 16:51:54 +0100 | haftmann | turn application-specific Pattern.matches_subterm into an application-private function | changeset | files |
| Thu, 04 Dec 2014 16:51:54 +0100 | haftmann | cleaned up mess | changeset | files |
| Fri, 05 Dec 2014 13:39:59 +0100 | hoelzl | add Poisson and Binomial distribution | changeset | files |
| Fri, 05 Dec 2014 12:06:18 +0100 | hoelzl | add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav | changeset | files |
| Thu, 04 Dec 2014 21:28:35 +0100 | wenzelm | proper GUI_Thread context (cf. 7e0d3da6e6d8); | changeset | files |
| Thu, 04 Dec 2014 20:56:38 +0100 | wenzelm | more examples; | changeset | files |