| Wed, 11 Nov 2009 00:11:26 +0100 | wenzelm | local mutex for theory content/identity operations; | changeset | files |
| Wed, 11 Nov 2009 00:09:15 +0100 | wenzelm | admit dummy implementation; | changeset | files |
| Tue, 10 Nov 2009 23:18:03 +0100 | wenzelm | Toplevel.thread provides Isar-style exception output; | changeset | files |
| Tue, 10 Nov 2009 23:15:20 +0100 | wenzelm | generalized Runtime.toplevel_error wrt. output function; | changeset | files |