| Mon, 19 Apr 2010 23:11:39 +0200 | wenzelm | update_syntax: add new productions only once, to allow repeated local notation, for example; | changeset | files |
| Mon, 19 Apr 2010 17:57:07 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 19 Apr 2010 17:31:48 +0200 | wenzelm | more platform information; | changeset | files |