| Mon, 23 Sep 2013 18:40:02 +0200 | blanchet | don't generalize w.r.t. wrong context -- better overgeneralize (since the instantiation phase will compensate for it) | changeset | files |
| Mon, 23 Sep 2013 17:43:23 +0200 | blanchet | added [code] to selectors | changeset | files |
| Mon, 23 Sep 2013 14:53:43 +0200 | blanchet | tuned spying | changeset | files |