patch applied (hugs98): Add a wall clock time status message to WinHugs

Neil Mitchell <[email protected]> Fri, 4 May 2007 07:12:01 -0700

Newsgroups	gmane.comp.lang.haskell.cvs.hugs
Message-ID	<[email protected]>

Fri May  4 07:06:51 PDT 2007  Neil Mitchell <http://www.cs.york.ac.uk/~ndm/>
  * Add a wall clock time status message to WinHugs

    M ./src/winhugs/DlgMain.c -2 +6