| Sun, 17 Apr 2011 23:47:05 +0200 | wenzelm | provide structure Syntax early (before structure Type), back-patch check/uncheck later; | changeset | files |
| Sun, 17 Apr 2011 21:42:47 +0200 | wenzelm | added Binding.print convenience, which includes quote already; | changeset | files |