Wed, 23 Jul 2014 23:16:44 +0200 | wenzelm | tuned message; | changeset | files |
Wed, 23 Jul 2014 23:08:22 +0200 | wenzelm | added action "isabelle.options" (despite problems with initial window size); | changeset | files |
Wed, 23 Jul 2014 21:02:45 +0200 | wenzelm | more official Thy_Info.script_thy; | changeset | files |