| 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 |
| Wed, 23 Jul 2014 21:01:28 +0200 | wenzelm | more frugal edits; | changeset | files |
| Wed, 23 Jul 2014 18:16:04 +0200 | wenzelm | enable hires explictly, as seen for other high-end Java applications on the Web; | changeset | files |
| Wed, 23 Jul 2014 18:14:59 +0200 | wenzelm | more markup; | changeset | files |
| Wed, 23 Jul 2014 18:04:16 +0200 | wenzelm | another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed; | changeset | files |