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

Neil Mitchell ndmitchell at gmail.com
Fri May 4 10:12:01 EDT 2007

Previous message: patch applied (hugs98): Display the reduction count statistics in the status bar all the time
Next message: patch applied (hugs98): Change the logic for when a file is relative, fixes bugs with openning files which were included by Hugs with ..
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: patch applied (hugs98): Display the reduction count statistics in the status bar all the time
Next message: patch applied (hugs98): Change the logic for when a file is relative, fixes bugs with openning files which were included by Hugs with ..
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-hugs mailing list