| Wed, 10 Jul 2013 12:25:11 +0200 | smolkas | made SML/NJ happy | changeset | files |
| 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 |
| Sun, 07 Jul 2013 20:23:09 +0200 | wenzelm | reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry; | changeset | files |