October 2008 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Thu Oct 2 20:03:27 EST 2008
Ending: Fri Oct 3 10:03:08 EST 2008
Messages: 2

• patch applied (hugs98): Reset evalDepth on catching an exception (Matthew Naylor: fixes #84)   Ross Paterson
• patch applied (hugs98): Add command line arguments to Setup configure to use the in-place hugs.   Ross Paterson

Last message date: Fri Oct 3 10:03:08 EST 2008
Archived on: Fri Oct 3 09:59:46 EST 2008

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...