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

4 May 2007


      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