wenzelm [Wed, 23 Jul 2014 23:08:22 +0200] rev 58969
added action "isabelle.options" (despite problems with initial window size);
wenzelm [Wed, 23 Jul 2014 21:02:45 +0200] rev 58968
more official Thy_Info.script_thy;
wenzelm [Wed, 23 Jul 2014 21:01:28 +0200] rev 58967
more frugal edits;
wenzelm [Wed, 23 Jul 2014 18:16:04 +0200] rev 58966
enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm [Wed, 23 Jul 2014 18:14:59 +0200] rev 58965
more markup;
wenzelm [Wed, 23 Jul 2014 18:04:16 +0200] rev 58964
another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed;
wenzelm [Wed, 23 Jul 2014 16:56:03 +0200] rev 58963
more frugal edits;
wenzelm [Wed, 23 Jul 2014 16:20:07 +0200] rev 58962
more explicit treatment of cleared nodes (removal is implicit);
wenzelm [Wed, 23 Jul 2014 15:32:05 +0200] rev 58961
clarified display;
wenzelm [Wed, 23 Jul 2014 15:11:42 +0200] rev 58960
more workarounds for scalac;