| Wed, 05 Dec 2012 19:46:47 +0100 | wenzelm | more direct dialog via existing GUI components; | changeset | files |
| Wed, 05 Dec 2012 19:25:57 +0100 | wenzelm | clarified logic argument: session name, not path name; | changeset | files |
| Wed, 05 Dec 2012 19:08:23 +0100 | wenzelm | tuned message; | changeset | files |
| Wed, 05 Dec 2012 18:09:38 +0100 | wenzelm | implicit build_dialog for Isabelle/jEdit; | changeset | files |