| Thu, 06 Dec 2012 16:49:48 +0100 | blanchet | export ATP and Isar commands separately | changeset | files |
| Thu, 06 Dec 2012 23:01:49 +0100 | wenzelm | proper Sendback.markup, as required for standard Prover IDE protocol (see also c62ce309dc26); | changeset | files |
| Thu, 06 Dec 2012 22:12:25 +0100 | wenzelm | discontinued obsolete "Tracing" button -- limited tracing channel works sufficiently well; | changeset | files |
| Thu, 06 Dec 2012 21:54:43 +0100 | wenzelm | discontinued option jedit_auto_start, which is somewhat pointless as there is no manual session start within Isabelle/jEdit; | changeset | files |
| Thu, 06 Dec 2012 21:53:35 +0100 | wenzelm | updated README; | changeset | files |
| Thu, 06 Dec 2012 21:46:20 +0100 | wenzelm | documentation for isabelle build_dialog and its implicit use in isabelle jedit; | changeset | files |