| 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 |
| Wed, 01 Apr 2015 15:41:08 +0200 | wenzelm | added isabelle build option -k, for fast off-line checking of theory sources; | changeset | files |
| Wed, 01 Apr 2015 13:32:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Apr 2015 11:55:23 +0200 | wenzelm | tuned message; | changeset | files |