Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
Thu, 30 Oct 2014 11:08:26 +0100 | wenzelm | proper syntax categery "name" -- as usual and as documented; | file | diff | annotate |
Mon, 13 Oct 2014 18:45:48 +0200 | wenzelm | Local_Interpretation is superseded by Plugin with formal Plugin_Name management, avoiding undeclared strings; | file | diff | annotate |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | added 'plugins' option to control which hooks are enabled | file | diff | annotate |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | introduced mechanism to filter interpretations | file | diff | annotate |
Tue, 10 Jun 2014 21:15:57 +0200 | blanchet | changed syntax of map: and rel: arguments to BNF-based datatypes | file | diff | annotate |
Mon, 26 May 2014 16:32:55 +0200 | blanchet | got rid of '=:' squiggly | file | diff | annotate |
Tue, 13 May 2014 09:21:22 +0200 | traytel | bnf_decl -> bnf_axiomatization | file | diff | annotate |