| Fri, 27 Aug 2010 14:24:26 +0200 | haftmann | updated generated files | changeset | files |
| Fri, 27 Aug 2010 14:22:33 +0200 | haftmann | tuned whitespace | changeset | files |
| Fri, 27 Aug 2010 14:22:15 +0200 | haftmann | more xsymbols | changeset | files |
| Fri, 27 Aug 2010 13:55:23 +0200 | haftmann | re-added accidental omission | changeset | files |
| Fri, 27 Aug 2010 13:32:05 +0200 | haftmann | proper namespace administration for hierarchical modules | changeset | files |
| Fri, 27 Aug 2010 17:59:40 +0200 | wenzelm | more antiquotations; | changeset | files |
| Fri, 27 Aug 2010 17:23:57 +0200 | wenzelm | eliminated Unsynchronized.ref in favour of configuration option; | changeset | files |
| Fri, 27 Aug 2010 17:11:29 +0200 | wenzelm | more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs'); | changeset | files |