| Wed, 27 Feb 2013 10:33:30 +0100 | Andreas Lochbihler | add wellorder instance for Numeral_Type (suggested by Jesus Aransay) | changeset | files |
| Tue, 26 Feb 2013 20:11:11 +0100 | wenzelm | updated Toplevel.command_exception; | changeset | files |
| Tue, 26 Feb 2013 20:09:25 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 26 Feb 2013 19:58:27 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 26 Feb 2013 19:44:26 +0100 | wenzelm | fork diagnostic commands (theory loader and PIDE interaction); | changeset | files |
| Tue, 26 Feb 2013 13:38:34 +0100 | wenzelm | disallow shutdown from worker, which would lead to deadlock since the scheduler cannot terminate; | changeset | files |