nhc-cvs

2002-06-01 - 2002-07-01 (109 messages)

2002-05-01 - 2002-06-01 (54 messages)

2002-04-01 - 2002-05-01 (71 messages)

 Next  Last 

  1. 2002-05-29  [cvs-nhc98] Filled in (..) in import/export lists of  nhc-cvs   User olaf
  2. 2002-05-29  [cvs-nhc98] Fixed bug in relabelling.                 nhc-cvs   User olaf
  3. 2002-05-29  [cvs-nhc98] Fixed bug in handling of pattern bindings nhc-cvs   User olaf
  4. 2002-05-29  [cvs-nhc98] Preliminary version of a cygwin mangler - nhc-cvs   Malcolm Wallace
  5. 2002-05-29  [cvs-nhc98] Minor changes to the main build wrt the h nhc-cvs   Malcolm Wallace
  6. 2002-05-29  [cvs-nhc98] hmake is now at version 3.04.             nhc-cvs   Malcolm Wallace
  7. 2002-05-29  [cvs-nhc98] Bring back the "old" hat tools (i.e. whic nhc-cvs   Malcolm Wallace
  8. 2002-05-29  [cvs-nhc98] Directory /usr/src/master/nhc/src/hat/old nhc-cvs   Malcolm Wallace
  9. 2002-05-28  [cvs-nhc98] Add :source and :Source commands to hat-o nhc-cvs   Malcolm Wallace
 10. 2002-05-28  [cvs-nhc98] Fix subtle bug which caused some equation nhc-cvs   Malcolm Wallace
 11. 2002-05-28  [cvs-nhc98] Portable Hat: Fixed <<loop>> bug.         nhc-cvs   User olaf
 12. 2002-05-28  [cvs-nhc98] Allow pattern "f in g" to match even if g nhc-cvs   Malcolm Wallace
 13. 2002-05-28  [cvs-nhc98] In all hat tools:                         nhc-cvs   Malcolm Wallace
 14. 2002-05-26  [cvs-nhc98] Revert PackedString comparison to the pre nhc-cvs   Malcolm Wallace
 15. 2002-05-22  [cvs-nhc98] Slight tidy-up of list-sugaring.          nhc-cvs   Malcolm Wallace
 16. 2002-05-22  [cvs-nhc98] Reformat to 80 columns only.              nhc-cvs   Malcolm Wallace
 17. 2002-05-21  [cvs-nhc98] Do `extractExp' on field update expressio nhc-cvs   Malcolm Wallace
 18. 2002-05-20  [cvs-nhc98] Bugfix for negative literal number patter nhc-cvs   Malcolm Wallace
 19. 2002-05-20  [cvs-nhc98] In hat-trans, if a module has no export l nhc-cvs   Malcolm Wallace
 20. 2002-05-17  [cvs-nhc98] With recent fixes for when Hidden/Forward nhc-cvs   Malcolm Wallace
 21. 2002-05-17  [cvs-nhc98] Explicit projections in the SExp structur nhc-cvs   Malcolm Wallace
 22. 2002-05-17  [cvs-nhc98] Propagate additional SExp constructor SSt nhc-cvs   Malcolm Wallace
 23. 2002-05-17  [cvs-nhc98] hat-observe of `f in f' (i.e. only recurs nhc-cvs   Malcolm Wallace
 24. 2002-05-17  [cvs-nhc98] When navigating with arrow keys in hat-tr nhc-cvs   Malcolm Wallace
 25. 2002-05-17  [cvs-nhc98] In hat-trail, on the RHS of an equation,  nhc-cvs   Malcolm Wallace
 26. 2002-05-17  [cvs-nhc98] Document hmake bugfix for release version nhc-cvs   Malcolm Wallace
 27. 2002-05-16  [cvs-nhc98] The renamer for -hat did not handle the c nhc-cvs   Malcolm Wallace
 28. 2002-05-16  [cvs-nhc98] No log message                            nhc-cvs   Malcolm Wallace
 29. 2002-05-10  [cvs-nhc98] Replaced definition of wrapForward by def nhc-cvs   User olaf
 30. 2002-05-10  [cvs-nhc98] Changed combinators for trusting in -hat. nhc-cvs   User olaf

 Next  Last