Wed, 05 Sep 2012 11:19:01 +0200 | wenzelm | no need to wait 3h on macbroy30 (unlike former macbroy6, cf. 6e5b994070c1); | changeset | files |
Wed, 05 Sep 2012 10:53:51 +0200 | traytel | more conservative rechecking of processed constraints in subtyping constraint simplification | changeset | files |
Wed, 05 Sep 2012 09:58:37 +0200 | blanchet | added comment for Dmitriy | changeset | files |