| Sun, 29 Mar 2015 19:24:07 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 19 Dec 2014 17:23:56 +0100 | wenzelm | more frugal Local_Syntax.init -- maintain idents within context; | file | diff | annotate |
| Sat, 25 May 2013 16:55:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| 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 |