Re: [Hat] two minor bugs

Matthias Neubauer <neubauer@informatik.uni-freiburg.de> writes:

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