| Tue, 23 Apr 2013 19:31:24 +0200 | haftmann | documentation and NEWS | file | diff | annotate |
| Tue, 09 Apr 2013 13:55:28 +0200 | wenzelm | more accurate documentation of "(structure)" mixfix; | file | diff | annotate |
| Sat, 30 Mar 2013 14:57:06 +0100 | wenzelm | added 'print_defn_rules' command; | file | diff | annotate |