| 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 |
| Sun, 07 Jul 2013 18:50:16 +0200 | wenzelm | tuned signature; | changeset | files |