
patch applied (hugs98): Add command line arguments to Setup configure to use the in-place hugs.
by Ross Paterson 03 Oct '08
by Ross Paterson 03 Oct '08
03 Oct '08
1
0

patch applied (hugs98): Reset evalDepth on catching an exception (Matthew Naylor: fixes #84)
by Ross Paterson 02 Oct '08
by Ross Paterson 02 Oct '08
02 Oct '08
1
0