| Sun, 23 Jun 2013 21:23:36 +0200 | wenzelm | proper diagnostic command 'print_state'; | file | diff | annotate |
| Tue, 18 Jun 2013 15:15:36 +0200 | wenzelm | more on built-in syntax transformations, based on reduced version of old material; | file | diff | annotate |
| Tue, 18 Jun 2013 12:21:57 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Mon, 13 May 2013 13:23:13 +0200 | wenzelm | option "goals_limit", with more uniform description; | file | diff | annotate |
| Tue, 09 Apr 2013 13:55:28 +0200 | wenzelm | more accurate documentation of "(structure)" mixfix; | file | diff | annotate |
| Tue, 09 Apr 2013 12:56:26 +0200 | wenzelm | just one syntax category "mixfix" -- check structure annotation semantically; | file | diff | annotate |