| Thu, 07 Jan 2016 15:53:39 +0100 | wenzelm | more uniform treatment of package internals; | changeset | files |
| Thu, 07 Jan 2016 15:50:09 +0100 | wenzelm | more thorough GUI update; | changeset | files |
| Thu, 07 Jan 2016 13:42:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Jan 2016 16:36:41 +0100 | nipkow | added lemma | changeset | files |
| Fri, 08 Jan 2016 15:27:16 +0100 | eberlm | Tuned constant approximations | changeset | files |
| Thu, 07 Jan 2016 17:42:01 +0000 | paulson | merged | changeset | files |
| Thu, 07 Jan 2016 17:40:55 +0000 | paulson | revisions to limits and derivatives, plus new lemmas | changeset | files |
| Thu, 07 Jan 2016 14:44:51 +0100 | Manuel Eberl | Added formal power series updates to NEWS/CONTRIBUTORS | changeset | files |
| Thu, 07 Jan 2016 14:37:17 +0100 | Manuel Eberl | Tuned approximations in Multivariate_Analysis | changeset | files |
| Wed, 06 Jan 2016 16:17:50 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Wed, 06 Jan 2016 12:18:53 +0100 | hoelzl | add the proof of the central limit theorem | changeset | files |
| Wed, 06 Jan 2016 13:04:31 +0100 | blanchet | nicer 'Spec_Rules' for size function | changeset | files |