04 May '07
1
0
patch applied (hugs98): Display the reduction count statistics in the status bar all the time
by Neil Mitchell 04 May '07
by Neil Mitchell 04 May '07
04 May '07
1
0
patch applied (hugs98): Delete some \r characters that had sneaked into the Registry.c file (not quite sure how..)
by Neil Mitchell 04 May '07
by Neil Mitchell 04 May '07
04 May '07
1
0
patch applied (hugs98): Change the default HUGSPATH on Windows to include the place where Cabal puts stuff, fixes bug #67
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0
patch applied (hugs98): Further changes to complete the transition to a multi-line list for include directories, fixes bug #66
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0
patch applied (hugs98): Initial changes for bug #66, split the extensions and loading options, to give more space for the loading ones
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0
patch applied (hugs98): Slight clean up, reorder a conditional test to match the others around it
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0
patch applied (hugs98): Do not allow new lines to be pasted into the prompt
by Neil Mitchell 03 May '07
by Neil Mitchell 03 May '07
03 May '07
1
0
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