| Wed, 01 Apr 2015 18:22:55 +0200 | wenzelm | clarified "main" group, e.g. relevant for Isabelle/jEdit menu; | changeset | files |
| Wed, 01 Apr 2015 18:18:12 +0200 | wenzelm | evade popular keyword; | changeset | files |
| Wed, 01 Apr 2015 18:17:44 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Apr 2015 18:16:53 +0200 | wenzelm | clarified module; | changeset | files |
| Wed, 01 Apr 2015 17:58:23 +0200 | wenzelm | ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL; | changeset | files |
| Wed, 01 Apr 2015 17:20:52 +0200 | wenzelm | more reactive interrupts; | changeset | files |
| Wed, 01 Apr 2015 16:24:38 +0200 | wenzelm | added isabelle build option -x, to exclude sessions; | changeset | files |