| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Tue, 09 Apr 2013 13:20:09 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 08 Apr 2011 16:34:14 +0200 | wenzelm | discontinued special treatment of structure Lexicon; | file | diff | annotate |
| Fri, 08 Apr 2011 15:02:11 +0200 | wenzelm | discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); | file | diff | annotate |
| Fri, 08 Apr 2011 13:31:16 +0200 | wenzelm | explicit structure Syntax_Trans; | file | diff | annotate |
| Tue, 05 Apr 2011 15:46:35 +0200 | wenzelm | moved Isar/local_syntax.ML to Syntax/local_syntax.ML; | file | diff | annotate | base |