| Tue, 09 Jul 2013 18:45:06 +0200 | smolkas | completely rewrote SH compress; added two parameters for experimentation/fine grained control | changeset | files |
| Tue, 09 Jul 2013 18:44:59 +0200 | smolkas | moved code -> easier debugging | changeset | files |
| Mon, 08 Jul 2013 14:24:36 +0200 | nipkow | tuned proofs | changeset | files |
| Sun, 07 Jul 2013 22:58:34 +0200 | wenzelm | some support for Cygwin; | changeset | files |