| Fri, 06 Sep 2013 21:28:07 +0200 | wenzelm | use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit); | changeset | files |
| Fri, 06 Sep 2013 21:13:19 +0200 | wenzelm | warm start of Isabelle/jEdit from Isabelle/Scala; | changeset | files |
| Fri, 06 Sep 2013 18:15:25 +0200 | wenzelm | prefer explicit thread; | changeset | files |
| Fri, 06 Sep 2013 18:14:50 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 06 Sep 2013 17:55:01 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 06 Sep 2013 17:26:58 +0200 | wenzelm | prefer Isabelle/Scala over bash; | changeset | files |
| Fri, 06 Sep 2013 17:20:48 +0200 | wenzelm | prefer Isabelle/Scala over bash; | changeset | files |
| Fri, 06 Sep 2013 17:01:49 +0200 | wenzelm | prefer warm start via JEdit_Main; | changeset | files |
| Fri, 06 Sep 2013 20:59:36 +0200 | haftmann | slight cleanup of lemma locations; tuned proof | changeset | files |
| Fri, 06 Sep 2013 20:55:14 +0200 | haftmann | tuned | changeset | files |
| Fri, 06 Sep 2013 15:47:51 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 06 Sep 2013 12:46:50 +0200 | wenzelm | tuned; | changeset | files |