Fri, 05 Oct 2012 18:01:48 +0200 | wenzelm | eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip; | changeset | files |
Fri, 05 Oct 2012 14:51:33 +0200 | wenzelm | merged | changeset | files |
Fri, 05 Oct 2012 10:57:03 +0200 | blanchet | newer versions of Z3 call it "Bool" not "bool" | changeset | files |