Search: 
[] List [] Subjects [] Authors [] Bodies for list 'nhc-cvs'
Set Page Width: [ 80 ] [ 90 ] [ 100 ] [ 120 ]
Viewing messages in list nhc-cvs
- 2001-09-01 - 2001-10-01 (50 messages)
- 2001-08-01 - 2001-09-01 (18 messages)
- 2001-07-01 - 2001-08-01 (50 messages)
  1. 2001-08-29  [cvs-nhc98] Correct problem when comparing expression nhc-cvs   Thorsten Brehm
  2. 2001-08-28  [cvs-nhc98] Correct Makefile: hmake does not use "-o" nhc-cvs   Thorsten Brehm
  3. 2001-08-28  [cvs-nhc98] Haskell version of tool "hat-detect" adde nhc-cvs   Thorsten Brehm
  4. 2001-08-23  [cvs-nhc98] Document the new  -iirename  option.      nhc-cvs   Malcolm Wallace
  5. 2001-08-23  [cvs-nhc98] Improve various comments, error messages, nhc-cvs   Malcolm Wallace
  6. 2001-08-23  [cvs-nhc98] Add the addPreludeTupleInstances() hack,  nhc-cvs   Malcolm Wallace
  7. 2001-08-23  [cvs-nhc98] Add new command-line flag  -iirename  for nhc-cvs   Malcolm Wallace
  8. 2001-08-23  [cvs-nhc98] Formatting, comments, + extra command-lin nhc-cvs   Malcolm Wallace
  9. 2001-08-23  [cvs-nhc98] Rename TokenId.qualImpRev -> qualImpPrel  nhc-cvs   Malcolm Wallace
 10. 2001-08-23  [cvs-nhc98] In the user guide, the name Hatobserve be nhc-cvs   Malcolm Wallace
 11. 2001-08-23  [cvs-nhc98] Undo a change in combined import qualifie nhc-cvs   Malcolm Wallace
 12. 2001-08-23  [cvs-nhc98] Minor formatting/comment changes.         nhc-cvs   Malcolm Wallace
 13. 2001-08-17  [cvs-nhc98] Misc minor doc updates.                   nhc-cvs   Malcolm Wallace
 14. 2001-08-17  [cvs-nhc98] Insert casts to get rid of C compiler war nhc-cvs   Malcolm Wallace
 15. 2001-08-17  [cvs-nhc98] Fix for Mark Tehver's bug report.         nhc-cvs   Malcolm Wallace
 16. 2001-08-16  [cvs-nhc98] Fix final problem for hat-observe:        nhc-cvs   Thorsten Brehm
 17. 2001-08-08  [cvs-nhc98] Change internal representation of export  nhc-cvs   Malcolm Wallace
 18. 2001-08-01  [cvs-nhc98] - modification to hatinterface.c:         nhc-cvs   Thorsten Brehm

Configure | About | News | Add a list | Sponsored by KoreLogic