| Wed, 14 Mar 2012 15:23:50 +0100 | wenzelm | more indentation; | changeset | files |
| Wed, 14 Mar 2012 15:09:33 +0100 | wenzelm | prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks; | changeset | files |
| Wed, 14 Mar 2012 14:49:43 +0100 | wenzelm | eliminated obsolete sanitize_name; | changeset | files |
| Wed, 14 Mar 2012 11:45:16 +0100 | wenzelm | Local_Theory.define no longer hard-wires default theorem name -- targets/packages need to take care of it; | changeset | files |
| Wed, 14 Mar 2012 11:10:10 +0100 | wenzelm | more parallel inductive_cases; | changeset | files |
| Wed, 14 Mar 2012 00:34:56 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 13 Mar 2012 23:45:34 +0100 | wenzelm | updated to jedit_build-20120313 with jedit-4.5.0; | changeset | files |