| 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 |
| Tue, 30 Jun 2015 10:40:42 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 30 Jun 2015 14:04:13 +0100 | paulson | Merge | changeset | files |