Dear hat team! I encountered two minor shortcomings after installing the latest hat release: - there seems to be a typo in the hattools Makefile - hat-trans does not seem to correctly recognize .lhs files Here is a simple "quick and dirty" fix for both problems: Regards, Matthias -- Matthias Neubauer | Universität Freiburg, Institut für Informatik | tel +49 761 203 8060 Georges-Köhler-Allee 79, 79110 Freiburg i. Br., Germany | fax +49 761 203 8052
Matthias Neubauer
I encountered two minor shortcomings after installing the latest hat release: - there seems to be a typo in the hattools Makefile - hat-trans does not seem to correctly recognize .lhs files
Thanks for the patch - now applied in CVS. (And apologies, I got your name wrong in the CVS log message.) Regards, Malcolm
participants (2)
-
Malcolm Wallace -
Matthias Neubauer