isabelle: Changelog

wenzelm [Tue, 09 Jan 2018 20:03:14 +0100] rev 67394

uniform typesetting of \isamarkupcmt and \isasymcomment;

wenzelm [Tue, 09 Jan 2018 19:25:01 +0100] rev 67393

more accurate position for enclosing cartouche;

wenzelm [Tue, 09 Jan 2018 18:30:21 +0100] rev 67392

tuned;

wenzelm [Tue, 09 Jan 2018 18:18:21 +0100] rev 67391

clarified signature;

wenzelm [Tue, 09 Jan 2018 17:58:35 +0100] rev 67390

clarified presentation_state with provide presentation_context;

wenzelm [Tue, 09 Jan 2018 17:40:25 +0100] rev 67389

show only symbols with code;

wenzelm [Tue, 09 Jan 2018 17:09:34 +0100] rev 67388

clarified markup: more like outer syntax side-comment;

wenzelm [Tue, 09 Jan 2018 16:25:35 +0100] rev 67387

clarified rail token language: white space and formal comments;

wenzelm [Tue, 09 Jan 2018 15:40:12 +0100] rev 67386

clarified modules;

wenzelm [Tue, 09 Jan 2018 15:18:41 +0100] rev 67385

removed duplicate text;

isabelle