isabelle: Changelog

wenzelm [Wed, 04 Nov 2015 20:35:58 +0100] rev 61576

tuned whitespace;

wenzelm [Wed, 04 Nov 2015 20:18:46 +0100] rev 61575

tuned whitespace;

wenzelm [Wed, 04 Nov 2015 19:52:38 +0100] rev 61574

tuned whitespace;

wenzelm [Wed, 04 Nov 2015 18:35:50 +0100] rev 61573

updated;

wenzelm [Wed, 04 Nov 2015 18:32:47 +0100] rev 61572

more antiquotations;

wenzelm [Wed, 04 Nov 2015 18:14:28 +0100] rev 61571

document antiquotation @{footnote}; render \<^footnote> as pilcrow -- the rarely used \<paragraph> loses its interpretation;

wenzelm [Wed, 04 Nov 2015 17:14:17 +0100] rev 61570

dummy input handler to imitate former read-only mode, which has changed its meaning in jedit-5.3.0 as mere hint for saving;

blanchet [Wed, 04 Nov 2015 15:07:23 +0100] rev 61569

eliminated Nitpick's pedantic support for 'emdash'

wenzelm [Wed, 04 Nov 2015 14:40:18 +0100] rev 61568

tuned;

wenzelm [Wed, 04 Nov 2015 11:53:22 +0100] rev 61567

NEWS;

isabelle