wenzelm [Sun, 24 Mar 2013 16:12:45 +0100] rev 51504
basic support for xz files;
wenzelm [Sun, 24 Mar 2013 16:10:19 +0100] rev 51503
added component xz-java-1.2;
wenzelm [Sun, 24 Mar 2013 14:26:10 +0100] rev 51502
more "quick start" hints;
more explicit "Testing of changes", instead of convoluted "Building a repository version of Isabelle";
tuned;
traytel [Sun, 24 Mar 2013 12:07:31 +0100] rev 51501
simple case syntax for stream (stolen from AFP/Coinductive)
wenzelm [Sat, 23 Mar 2013 21:48:03 +0100] rev 51500
prefer plain \<^sub> for better rendering (both in Isabelle/jEdit and LaTeX);
tuned proofs;
wenzelm [Sat, 23 Mar 2013 21:19:10 +0100] rev 51499
merged
wenzelm [Sat, 23 Mar 2013 21:13:03 +0100] rev 51498
reverted most of 5944b20c41bf -- tends to cause race condition of synchronous vs. asynchronous version;
wenzelm [Sat, 23 Mar 2013 19:54:15 +0100] rev 51497
no censorship of "view.fracFontMetrics", although it often degrades rendering quality;
wenzelm [Sat, 23 Mar 2013 19:39:31 +0100] rev 51496
retain original tooltip range, to avoid repeated window popup when the mouse is moved over the same content;
wenzelm [Sat, 23 Mar 2013 16:46:09 +0100] rev 51495
apply small result immediately, to avoid visible delay of text update after window move;