| 2006-09-29 | wenzelm | 2006-09-29 | Syntax.mode; refrain from removing conflicting mixfixes; | file | diff | annotate |
| 2006-05-16 | wenzelm | 2006-05-16 | added add_modesyntax; tuned; | file | diff | annotate |
| 2006-05-11 | wenzelm | 2006-05-11 | tuned; | file | diff | annotate |
| 2006-05-02 | wenzelm | 2006-05-02 | maintain implicit syntax mode; tuned; | file | diff | annotate |
| 2006-04-27 | wenzelm | 2006-04-27 | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| 2006-04-24 | haftmann | 2006-04-24 | moved coalesce to AList, added equality predicates to library | file | diff | annotate |
| 2006-04-09 | wenzelm | 2006-04-09 | add_syntax: actually observe print mode; | file | diff | annotate |
| 2006-04-08 | wenzelm | 2006-04-08 | simplified handling of authentic syntax (cf. early externing in consts.ML); simplified extern_term; | file | diff | annotate |
| 2006-02-11 | wenzelm | 2006-02-11 | tuned mixfixes, mixfix_conflict; | file | diff | annotate |
| 2006-02-10 | wenzelm | 2006-02-10 | Local syntax depending on theory syntax. | file | diff | annotate |