
patch applied (hugs98): Fix bug #55, Ctrl+E should not centre the text (also blocks L/R alignment changes)
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0

patch applied (hugs98): Update the copyright message on the front banner from 2005 to 2007
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0

patch applied (hugs98): Change the copyright information to 2007 in the WinHugs about box
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0

patch applied (hugs98): Fix some preprocessors directives that got lost in the translation to VS 8
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0

03 May '07
1
0
1
0
1
0

patch applied (hugs98): report the top-level goal when hitting the cutoff (fixes #65)
by Ross Paterson 20 Apr '07
by Ross Paterson 20 Apr '07
20 Apr '07
1
0
1
0

06 Apr '07
1
0