| Thu, 06 Dec 2012 21:46:20 +0100 | wenzelm | documentation for isabelle build_dialog and its implicit use in isabelle jedit; | changeset | files |
| Thu, 06 Dec 2012 21:16:46 +0100 | wenzelm | clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL); | changeset | files |
| Thu, 06 Dec 2012 20:26:14 +0100 | wenzelm | avoid startup within GUI thread -- it is only required later for dialog; | changeset | files |
| Thu, 06 Dec 2012 17:59:37 +0100 | wenzelm | more uniform default logic, using settings, options, args etc.; | changeset | files |
| Thu, 06 Dec 2012 16:07:09 +0100 | blanchet | use right names in MePo exporter | changeset | files |
| Thu, 06 Dec 2012 15:54:17 +0100 | blanchet | parse more liberal MaSh suggestion syntax (for the eval driver) | changeset | files |
| Thu, 06 Dec 2012 11:42:23 +0100 | wenzelm | merged | changeset | files |