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 |
Wed, 05 Dec 2012 18:07:32 +0100 | wenzelm | tuned message; | changeset | files |
Wed, 05 Dec 2012 17:48:58 +0100 | wenzelm | tuned OK feedback; | changeset | files |
Wed, 05 Dec 2012 17:38:43 +0100 | wenzelm | check for existing image (even if outdated); | changeset | files |
Wed, 05 Dec 2012 17:05:25 +0100 | wenzelm | more elementary dialog, with less interaction; | changeset | files |