| Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | prefer abbreviations for compound operators INFIMUM and SUPREMUM | file | diff | annotate |
| Fri, 12 Feb 2016 22:36:48 +0100 | wenzelm | merged | file | diff | annotate |
| Sun, 24 Jan 2016 12:33:40 +0100 | wenzelm | more CONTRIBUTORS; | file | diff | annotate |
| Wed, 20 Jan 2016 20:19:05 +0100 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Tue, 19 Jan 2016 14:00:47 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 Jan 2016 11:19:25 +0100 | Manuel Eberl | Added approximation of powr to NEWS/CONTRIBUTORS | file | diff | annotate |
| Tue, 12 Jan 2016 13:34:31 +0000 | paulson | crediting LCP in CONTRIBUTORS | file | diff | annotate |
| Sun, 10 Jan 2016 19:46:31 -0800 | kleing | print_record NEWS and CONTRIBUTORS | file | diff | annotate |
| Fri, 08 Jan 2016 15:54:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Jan 2016 14:44:51 +0100 | Manuel Eberl | Added formal power series updates to NEWS/CONTRIBUTORS | file | diff | annotate |
| Wed, 06 Jan 2016 16:17:50 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Wed, 06 Jan 2016 12:18:53 +0100 | hoelzl | add the proof of the central limit theorem | file | diff | annotate |
| Tue, 05 Jan 2016 15:53:17 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Tue, 05 Jan 2016 15:38:37 +0100 | eberlm | Added summability/Gamma/etc. to NEWS and CONTRIBUTORS | file | diff | annotate |
| Thu, 31 Dec 2015 21:06:09 +0100 | wenzelm | misc updates for release; | file | diff | annotate |