patch applied (hugs98): Display the reduction count statistics in the status bar all the time

Neil Mitchell ndmitchell at gmail.com
Fri May 4 09:10:38 EDT 2007

Previous message: patch applied (hugs98): Delete some \r characters that had sneaked into the Registry.c file (not quite sure how..)
Next message: patch applied (hugs98): Add a wall clock time status message to WinHugs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri May  4 06:04:25 PDT 2007  Neil Mitchell <http://www.cs.york.ac.uk/~ndm/>
  * Display the reduction count statistics in the status bar all the time

    M ./src/errors.c +3
    M ./src/winhugs/DlgMain.c -1 +46
    M ./src/winhugs/Winhugs.h +3

Previous message: patch applied (hugs98): Delete some \r characters that had sneaked into the Registry.c file (not quite sure how..)
Next message: patch applied (hugs98): Add a wall clock time status message to WinHugs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-hugs mailing list