| Sat, 07 Sep 2013 11:28:30 +0200 | wenzelm | odd workaround for scalac to enable nohup; | changeset | files |
| Sat, 07 Sep 2013 11:02:27 +0200 | wenzelm | odd workaround for scalac to enable nohup; | changeset | files |
| Sat, 07 Sep 2013 00:02:19 +0200 | wenzelm | build session before start of jedit; | changeset | files |
| Fri, 06 Sep 2013 22:28:28 +0200 | wenzelm | imitate "isabelle java" and "isabelle jedit" wrt. classpath and options; | changeset | files |
| Fri, 06 Sep 2013 22:07:26 +0200 | wenzelm | more Proof General legacy; | changeset | files |
| Fri, 06 Sep 2013 21:28:07 +0200 | wenzelm | use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit); | changeset | files |