isabelle: Changelog

wenzelm [Tue, 20 Oct 2015 20:45:33 +0200] rev 61491

another antiquotation short form: undecorated cartouche as alias for @{text}; document antiquotation @{text} ignores option "source";

wenzelm [Mon, 19 Oct 2015 23:07:17 +0200] rev 61490

repaired document;

wenzelm [Mon, 19 Oct 2015 23:00:07 +0200] rev 61489

more symbols; tunes whitespace;

wenzelm [Mon, 19 Oct 2015 20:31:13 +0200] rev 61488

tuned English;

wenzelm [Mon, 19 Oct 2015 20:29:29 +0200] rev 61487

more symbols, with swapped defaults: old-style ASCII syntax uses "ASCII" print mode;

wenzelm [Mon, 19 Oct 2015 17:45:36 +0200] rev 61486

tuned document;

wenzelm [Mon, 19 Oct 2015 17:19:53 +0200] rev 61485

merged

wenzelm [Mon, 19 Oct 2015 16:55:52 +0200] rev 61484

avoid odd permissions of fresh tmp_file;

wenzelm [Mon, 19 Oct 2015 16:37:45 +0200] rev 61483

added action "isabelle-emph"; changed shortcut of action "isabelle-reset";

wenzelm [Mon, 19 Oct 2015 16:26:01 +0200] rev 61482

tuned;

isabelle