| Thu, 29 Aug 2013 18:17:13 +0200 | traytel | store nesting_bnfs in fp_sugar (required in "nested to mutual" reduction) | changeset | files |
| Thu, 29 Aug 2013 17:57:25 +0200 | blanchet | cleaner handling of bootstrapping "fake" context, with fewer (no?) obscure bugs | changeset | files |
| Thu, 29 Aug 2013 17:20:17 +0200 | blanchet | qualify BNF constants properly | changeset | files |
| Thu, 29 Aug 2013 16:26:11 +0200 | blanchet | qualify generated constants uniformly | changeset | files |
| Thu, 29 Aug 2013 15:02:42 +0200 | blanchet | rationalized bindings | changeset | files |
| Thu, 29 Aug 2013 13:51:31 +0200 | blanchet | rationalize message generation + added a warning | changeset | files |
| Thu, 29 Aug 2013 11:19:27 +0200 | panny | removed outdated comments | changeset | files |