| Fri, 21 Oct 2011 22:44:55 +0200 | wenzelm | proper normal form for Perspective.ranges (overlapping ranges could be joined in wrong order, crashing multiple editor views); | changeset | files |
| Fri, 21 Oct 2011 17:39:07 +0200 | nipkow | merged | changeset | files |
| Fri, 21 Oct 2011 17:39:00 +0200 | nipkow | tuned | changeset | files |
| Fri, 21 Oct 2011 16:21:12 +0200 | wenzelm | merged | changeset | files |
| Fri, 21 Oct 2011 14:25:38 +0200 | bulwahn | replacing metis proofs with facts xt1 by new proof with more readable names | changeset | files |
| Fri, 21 Oct 2011 14:06:15 +0200 | blanchet | more robust parsing of TSTP sources -- Vampire has nonstandard "introduced()" tags and Waldmeister(OnTPTP) has weird "theory(...)" dependencies | changeset | files |