| Sat, 10 Sep 2011 14:48:06 +0200 | wenzelm | explicit jEdit actions -- to enable key mappings, for example; | changeset | files |
| Sat, 10 Sep 2011 14:28:07 +0200 | wenzelm | more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on; | changeset | files |
| Sat, 10 Sep 2011 13:43:09 +0200 | wenzelm | tuned usage; | changeset | files |
| Sat, 10 Sep 2011 13:41:03 +0200 | wenzelm | simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool); | changeset | files |