| Wed, 25 Apr 2012 14:33:21 +0200 | blanchet | remove too aggressive skolemization optimization (prevented discovery of a model in SYN994^1) | changeset | files |
| Wed, 25 Apr 2012 14:33:21 +0200 | blanchet | improve precision (noticed on SEV296^5.thy) -- the exception for "bool" used to be necessary because of a hack where "opt" meant two different things | changeset | files |
| Wed, 25 Apr 2012 14:33:21 +0200 | blanchet | output SZS status as early as possible | changeset | files |
| Wed, 25 Apr 2012 14:28:13 +0200 | hoelzl | sorted lemma list in NEWS | changeset | files |
| Wed, 25 Apr 2012 15:14:57 +0200 | wenzelm | merged | changeset | files |
| Wed, 25 Apr 2012 15:13:40 +0200 | wenzelm | reactivated ListCellRenderer for Java 6 (cf. b9e2ed4b1579, 0ddac15782e4, de249b5ae6e2); | changeset | files |
| Wed, 25 Apr 2012 15:13:03 +0200 | wenzelm | enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user; | changeset | files |