wenzelm [Sat, 22 Sep 2012 14:41:41 +0200] rev 50539
Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
wenzelm [Sat, 22 Sep 2012 14:03:01 +0200] rev 50538
tuned signature;
wenzelm [Fri, 21 Sep 2012 22:45:14 +0200] rev 50537
tuned proofs;
wenzelm [Fri, 21 Sep 2012 21:24:48 +0200] rev 50536
misc tuning;
wenzelm [Fri, 21 Sep 2012 21:24:33 +0200] rev 50535
tighten margin for TextArea instead of Lobo;
wenzelm [Fri, 21 Sep 2012 20:54:48 +0200] rev 50534
misc tuning;
blanchet [Fri, 21 Sep 2012 19:17:49 +0200] rev 50533
renamed LFP low-level rel property to have ctor not dtor in its name
blanchet [Fri, 21 Sep 2012 18:25:17 +0200] rev 50532
changed base session for "HOL-BNF" for faster building in the typical case
blanchet [Fri, 21 Sep 2012 18:25:17 +0200] rev 50531
renamed "rel_simp" to "dtor_rel" and similarly for "srel"
blanchet [Fri, 21 Sep 2012 18:25:17 +0200] rev 50530
fixed a few names that escaped the renaming