| Wed, 22 Jun 2011 21:35:48 +0200 | wenzelm | lazy Isabelle_System.default supports implicit boot; | changeset | files |
| Wed, 22 Jun 2011 21:27:20 +0200 | wenzelm | clarified plugin start/stop; | changeset | files |
| Wed, 22 Jun 2011 20:56:18 +0200 | wenzelm | clarified init/exit procedure; | changeset | files |
| Wed, 22 Jun 2011 20:38:03 +0200 | wenzelm | clarified decoded control symbols; | changeset | files |
| Wed, 22 Jun 2011 20:25:35 +0200 | wenzelm | init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there; | changeset | files |
| Wed, 22 Jun 2011 20:21:22 +0200 | wenzelm | prefer STIXGeneral -- hard to tell if better or worse; | changeset | files |
| Wed, 22 Jun 2011 16:35:31 +0200 | wenzelm | merged | changeset | files |
| Wed, 22 Jun 2011 15:07:03 +0200 | boehmes | export lambda-lifting code as there is potential use for it within Sledgehammer | changeset | files |