| Tue, 23 Feb 2016 18:04:31 +0100 | nipkow | resolved conflict | changeset | files |
| Tue, 23 Feb 2016 17:47:23 +0100 | nipkow | more canonical names | changeset | files |
| Tue, 23 Feb 2016 16:41:14 +0100 | nipkow | more canonical names | changeset | files |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | changeset | files |
| Tue, 23 Feb 2016 17:16:02 +0100 | wenzelm | merged | changeset | files |
| Tue, 23 Feb 2016 17:15:07 +0100 | wenzelm | merged; | changeset | files |
| Tue, 23 Feb 2016 16:20:12 +0100 | wenzelm | support for polyml-git ec49a49972c5 (branch FixedPrecisionInt); | changeset | files |
| Mon, 22 Feb 2016 22:44:37 +0100 | wenzelm | avoid outdated Process.interruptConsoleProcesses; | changeset | files |
| Tue, 23 Feb 2016 16:50:10 +0100 | blanchet | tuning | changeset | files |
| Tue, 23 Feb 2016 16:50:10 +0100 | blanchet | updated doc | changeset | files |
| Tue, 23 Feb 2016 16:50:10 +0100 | blanchet | tuning | changeset | files |
| Tue, 23 Feb 2016 15:49:17 +0000 | paulson | Merge | changeset | files |
| Tue, 23 Feb 2016 15:47:39 +0000 | paulson | New and revised material for (multivariate) analysis | changeset | files |
| Tue, 23 Feb 2016 15:37:18 +0100 | nipkow | was only of historical interest anymore | changeset | files |
| Mon, 22 Feb 2016 14:37:56 +0000 | paulson | An assortment of useful lemmas about sums, norm, etc. Also: norm_conv_dist [symmetric] is now a simprule! | changeset | files |