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