Fri, 03 Sep 2010 23:54:48 +0200 | wenzelm | turned eta_contract into proper configuration option; | changeset | files |
Fri, 03 Sep 2010 22:57:21 +0200 | wenzelm | turned show_structs into proper configuration option; | changeset | files |
Fri, 03 Sep 2010 22:36:16 +0200 | wenzelm | configuration options Syntax.ambiguity_enabled (inverse of former Syntax.ambiguity_is_error), Syntax.ambiguity_level (with Isar attribute "syntax_ambiguity_level"), Syntax.ambiguity_limit; | changeset | files |