isabelle: Changelog

wenzelm [Fri, 08 Apr 2011 14:20:57 +0200] rev 42287

discontinued special treatment of structure Mixfix; eliminated slightly odd no_syn convenience;

wenzelm [Fri, 08 Apr 2011 14:05:31 +0200] rev 42286

more antiquotations;

wenzelm [Fri, 08 Apr 2011 13:59:28 +0200] rev 42285

removed outdated text (cf. 84a3f86441eb);

wenzelm [Fri, 08 Apr 2011 13:31:16 +0200] rev 42284

explicit structure Syntax_Trans; discontinued old-style constrainAbsC;

wenzelm [Fri, 08 Apr 2011 11:39:45 +0200] rev 42283

tuned presentation;

wenzelm [Thu, 07 Apr 2011 23:25:09 +0200] rev 42282

report literal tokens according to parsetree head; some attempts to stack parsetrees in proper order;

wenzelm [Thu, 07 Apr 2011 21:55:09 +0200] rev 42281

simplified read_term vs. read_prop;

isabelle