wenzelm [Sat, 27 Jul 2013 22:16:04 +0200] rev 53882
avoid predefined symbols -- allow editing with Isabelle/jEdit in isabelle-news mode;
wenzelm [Sat, 27 Jul 2013 21:50:30 +0200] rev 53881
tuned;
wenzelm [Sat, 27 Jul 2013 21:43:12 +0200] rev 53880
discontinued ISABELLE_DOC_FORMAT;
wenzelm [Sat, 27 Jul 2013 21:21:47 +0200] rev 53879
more direct inclusion of tikz pictures;
wenzelm [Sat, 27 Jul 2013 21:10:18 +0200] rev 53878
obsolete;
wenzelm [Sat, 27 Jul 2013 21:01:35 +0200] rev 53877
documentation is always in PDF;
wenzelm [Sat, 27 Jul 2013 20:28:28 +0200] rev 53876
merged;
wenzelm [Sat, 27 Jul 2013 20:27:25 +0200] rev 53875
clarified Goal.stable_futures after 00170ef1dc39: running tasks are considered stable, without potentially blocking join;
wenzelm [Sat, 27 Jul 2013 17:34:56 +0200] rev 53874
clarified meaning of options for "isabelle options";
haftmann [Sat, 27 Jul 2013 18:02:41 +0200] rev 53873
more correct context for dynamic invocations of static code conversions etc.