| Wed, 01 Jul 2015 21:48:46 +0200 | wenzelm | clarified keyword categories; | changeset | files |
| Wed, 01 Jul 2015 21:29:57 +0200 | wenzelm | support for subgoal focus command; | changeset | files |
| Wed, 01 Jul 2015 10:53:14 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 01 Jul 2015 13:09:56 +0200 | immler | taylor series with has_integral and integrable_on | changeset | files |
| Tue, 30 Jun 2015 17:02:24 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2015 15:41:11 +0200 | wenzelm | no arguments for "standard" (or old "default") methods; | changeset | files |
| Tue, 30 Jun 2015 15:20:56 +0200 | wenzelm | renamed "default" to "standard", to make semantically clear what it is; | changeset | files |