| Thu, 25 Feb 2016 00:35:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 25 Feb 2016 00:27:57 +0100 | wenzelm | proper return code for timeout (amending f868f12f9419); | changeset | files |
| Thu, 25 Feb 2016 00:18:48 +0100 | wenzelm | retain tail out_lines as printed, but not the whole log content; | changeset | files |
| Thu, 25 Feb 2016 00:06:37 +0100 | wenzelm | explicit class Build_Results; | changeset | files |
| Wed, 24 Feb 2016 23:36:45 +0100 | wenzelm | more informative Build.build_results; | changeset | files |
| Wed, 24 Feb 2016 22:40:19 +0100 | wenzelm | more informative Process_Result; | changeset | files |
| 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 |
| 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 |