src/Pure/Syntax/parser.ML
Mon, 04 Apr 2011 21:35:59 +0200 wenzelm misc tuning and clarification;
Mon, 04 Apr 2011 15:51:45 +0200 wenzelm direct pretty printing of parsetrees -- prevent diagnostic output from crashing due to undeclared entities;
Tue, 21 Dec 2010 21:31:36 +0100 wenzelm configuration option "syntax_branching_level";
Sat, 04 Dec 2010 18:41:12 +0100 wenzelm added Syntax.default_root;
Mon, 30 Aug 2010 15:19:39 +0200 wenzelm tuned messages: discontinued spurious full-stops (messages are occasionally composed unexpectedly);
Fri, 27 Aug 2010 19:43:28 +0200 wenzelm more careful treatment of context visibility flag wrt. spurious warnings;
Wed, 25 Aug 2010 17:45:35 +0200 wenzelm eliminated some old camel case stuff;
less more (0) -30 -10 -7 tip