| Tue, 27 Sep 2005 11:39:27 +0200 | wenzelm | removed link to HOL4, which is not in the library right now; | file | diff | annotate |
| Wed, 21 Sep 2005 16:37:37 +0200 | haftmann | unify dist and main | file | diff | annotate |
| Tue, 28 Jun 2005 11:55:30 +0200 | haftmann | some minor improvements | file | diff | annotate |
| Sun, 05 Jun 2005 13:49:51 +0200 | schirmer | typo | file | diff | annotate |
| Sat, 04 Jun 2005 21:43:55 +0200 | haftmann | added shellcmd style | file | diff | annotate |
| Sat, 04 Jun 2005 10:26:08 +0200 | haftmann | added new website | file | diff | annotate |