Mon, 19 Sep 2011 14:24:53 +0200 | bulwahn | increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling | changeset | files |
Mon, 19 Sep 2011 22:45:57 +0200 | wenzelm | more isatest stats; | changeset | files |
Mon, 19 Sep 2011 22:42:57 +0200 | wenzelm | refined Symbol.is_symbolic -- cover recoded versions as well; | changeset | files |
Mon, 19 Sep 2011 22:13:51 +0200 | wenzelm | double clicks switch to document node buffer; | changeset | files |
Mon, 19 Sep 2011 21:53:07 +0200 | wenzelm | tuned; | changeset | files |
Mon, 19 Sep 2011 21:41:48 +0200 | wenzelm | explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf); | changeset | files |