Admin/website/logics.html
Tue, 27 Sep 2005 11:39:27 +0200 wenzelm removed link to HOL4, which is not in the library right now;
Wed, 21 Sep 2005 16:37:37 +0200 haftmann unify dist and main
Tue, 28 Jun 2005 11:55:30 +0200 haftmann some minor improvements
Sun, 05 Jun 2005 13:49:51 +0200 schirmer typo
Sat, 04 Jun 2005 21:43:55 +0200 haftmann added shellcmd style
Sat, 04 Jun 2005 10:26:08 +0200 haftmann added new website
less more (0) tip