| Mon, 07 Dec 2015 15:16:28 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 07 Dec 2015 10:38:04 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Mon, 07 Dec 2015 10:23:50 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Mon, 07 Dec 2015 10:19:30 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 06 Dec 2015 23:48:25 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 06 Dec 2015 23:17:48 +0100 | wenzelm | updated to polyml-5.6-20151206, which presumably improves stability on Windows; | changeset | files |
| Sun, 06 Dec 2015 23:10:08 +0100 | wenzelm | discontinued intermediate polyml-5.5.3, assuming the coming release will be polyml-5.6; | changeset | files |