hugs-bugs

2004-11-01 - 2004-12-01 (2 messages)

2004-10-01 - 2004-11-01 (14 messages)

2004-09-01 - 2004-10-01 (4 messages)

  1. 2004-10-26  [2] [Hugs-bugs] Suggested change                               hugs-bugs   Ross Paterson 
  2. 2004-10-26  [1] [Hugs-bugs] [snapshot 20041022] Shared object "libX11.so.6 hugs-bugs   fool
  3. 2004-10-26  [1] [Hugs-bugs] [snapshot 20041022] tools/hugs-package doesn't hugs-bugs   fool
  4. 2004-10-23  [1] [Hugs-bugs] cast from pointer to integer losing bits       hugs-bugs   fool
  5. 2004-10-22  [2] [Hugs-bugs] internal error                                 hugs-bugs   Ross Paterson 
  6. 2004-10-21  [3] [Hugs-bugs] building hugs98-20041008.tar.gz requires GNU f hugs-bugs   fool
  7. 2004-10-14  [3] [Hugs-bugs] Compiling Hugs on Cygwin                       hugs-bugs   Koen Claessen 
  8. 2004-10-04  [1] [Hugs-bugs] Error compiling hugs98-20040917                hugs-bugs   Alwyn