| Sat, 22 Oct 2011 19:00:03 +0200 | wenzelm | class Counter as abstract datatype; | changeset | files |
| Sat, 22 Oct 2011 16:57:24 +0200 | wenzelm | discontinued redundant ASCII syntax; | changeset | files |
| Sat, 22 Oct 2011 16:44:34 +0200 | wenzelm | modernized specifications; | changeset | files |
| 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 |