huffman [Thu, 20 May 2010 21:19:38 -0700] rev 37032
speed up some proofs and fix some warnings
wenzelm [Thu, 20 May 2010 23:22:37 +0200] rev 37031
merged
wenzelm [Thu, 20 May 2010 23:20:01 +0200] rev 37030
zoom font size;
wenzelm [Thu, 20 May 2010 23:19:28 +0200] rev 37029
added somewhat generic zoom box;
wenzelm [Thu, 20 May 2010 21:32:48 +0200] rev 37028
try CheckBox instead of ToggleButton, which is visually confusing without window focus, e.g. in a floating instance (problem of MacOS look-and-feel);
wenzelm [Thu, 20 May 2010 21:10:03 +0200] rev 37027
mutate displayed document synchronously in Swing thread, for improved robustness;
wenzelm [Thu, 20 May 2010 21:07:05 +0200] rev 37026
read style sheets only once;
wenzelm [Thu, 20 May 2010 20:56:26 +0200] rev 37025
handle component resize for output / HTML panel;
wenzelm [Thu, 20 May 2010 20:22:00 +0200] rev 37024
Isabelle_System: allow explicit isabelle_home argument;
wenzelm [Thu, 20 May 2010 20:20:52 +0200] rev 37023
enable shell script editor mode;