| Wed, 24 Feb 2016 22:11:28 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 24 Feb 2016 22:03:24 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 24 Feb 2016 16:00:57 +0000 | paulson | Merge | changeset | files |
| Wed, 24 Feb 2016 15:51:01 +0000 | paulson | Substantial new material for multivariate analysis. Also removal of some duplicates. | changeset | files |
| Wed, 24 Feb 2016 07:41:52 +0100 | nipkow | NEWS | changeset | files |
| Tue, 23 Feb 2016 19:05:18 +0100 | blanchet | refactoring | changeset | files |
| Tue, 23 Feb 2016 18:04:38 +0100 | nipkow | merged | changeset | files |
| 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 |