2005-09-27 | wenzelm | removed link to HOL4, which is not in the library right now; | file | diff | annotate |
2005-09-21 | haftmann | unify dist and main | file | diff | annotate |
2005-06-28 | haftmann | some minor improvements | file | diff | annotate |
2005-06-05 | schirmer | typo | file | diff | annotate |
2005-06-04 | haftmann | added shellcmd style | file | diff | annotate |
2005-06-04 | haftmann | added new website | file | diff | annotate |