Hello, how does one go about changing the font size in WinHugs? Please reply by mail, as I do not subscribe to this list.
Kind regards,
Markus L. Noga
---
Markus L. Noga <[EMAIL PROTECTED]>
Program Structures Group
Universit�t Karlsruhe
_______________________________________________
Hugs-Users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-users
