| Mon, 01 Feb 2016 14:10:07 +0100 | wenzelm | tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0; | changeset | files |
| Sun, 31 Jan 2016 19:54:40 +0100 | wenzelm | more on "ML debugging within the Prover IDE"; | changeset | files |
| Sun, 31 Jan 2016 13:25:21 +0100 | wenzelm | updated to official polyml-5.6; | changeset | files |
| Fri, 29 Jan 2016 23:08:46 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Fri, 29 Jan 2016 22:36:57 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Fri, 29 Jan 2016 21:31:01 +0100 | wenzelm | misc tuning; | changeset | files |
| Wed, 27 Jan 2016 14:14:06 +0100 | wenzelm | allow single quote within URL; | changeset | files |