| 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 |