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 |