| Thu, 06 Sep 2012 12:21:33 +0200 | blanchet | gracefully handle shadowing case (fourth step of sugar localization) | changeset | files |
| Thu, 06 Sep 2012 12:14:40 +0200 | blanchet | careful about constructor types w.r.t. fake context (third step of localization) | changeset | files |
| Thu, 06 Sep 2012 12:04:40 +0200 | blanchet | read the real types off the constant types, rather than using the fake parser types (second step of sugar localization) | changeset | files |
| Thu, 06 Sep 2012 11:57:36 +0200 | blanchet | tuning | changeset | files |
| Thu, 06 Sep 2012 11:55:23 +0200 | blanchet | use "add_type" rather than "add_types_global" | changeset | files |
| Thu, 06 Sep 2012 11:51:19 +0200 | blanchet | don't throw away the context when hacking the theory (first step to localize the sugar code) | changeset | files |