Thu, 03 Apr 2014 23:51:52 +0100 | paulson | removing simprule status for divide_minus_left and divide_minus_right | changeset | files |
Fri, 04 Apr 2014 16:43:47 +0200 | wenzelm | merged; | changeset | files |
Fri, 04 Apr 2014 15:58:20 +0200 | wenzelm | tuned rendering -- take 1px line border into account; | changeset | files |
Fri, 04 Apr 2014 14:31:31 +0200 | wenzelm | revert ce37fcb30cf2 for the sake of Mac OS X -- let some event listeners of jEdit reset the cursor; | changeset | files |
Fri, 04 Apr 2014 13:12:16 +0200 | wenzelm | tuned white space; | changeset | files |
Fri, 04 Apr 2014 15:56:40 +0200 | blanchet | use Z3 TPTP cores rather than proofs since the latter are somewhat broken | changeset | files |