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)

 Top  Prev 

 31. 2002-05-06  [cvs-nhc98] In Hat combinator library reintroduce sta nhc-cvs   User olaf
 32. 2002-05-06  [cvs-nhc98] In Hat combinator library reintroduce sta nhc-cvs   User olaf
 33. 2002-05-06  [cvs-nhc98] In Hat combinator library reintroduce sta nhc-cvs   User olaf
 34. 2002-05-03  [cvs-nhc98] Quote the function name passed to hat-obs nhc-cvs   Malcolm Wallace
 35. 2002-05-03  [cvs-nhc98] Change (f . g) = \x-> f (g x)   to   (.)  nhc-cvs   Malcolm Wallace
 36. 2002-05-03  [cvs-nhc98] Now obsolete.                             nhc-cvs   Malcolm Wallace
 37. 2002-05-03  [cvs-nhc98] Comment out the over-large display squash nhc-cvs   Malcolm Wallace
 38. 2002-05-03  [cvs-nhc98] Fix incorrect pretty-printing indent in h nhc-cvs   Malcolm Wallace
 39. 2002-05-03  [cvs-nhc98] In pattern lexing, should accept _ and '  nhc-cvs   Malcolm Wallace
 40. 2002-05-03  [cvs-nhc98] Fix incorrect (cyclic) display of (non-cy nhc-cvs   Malcolm Wallace
 41. 2002-05-02  [cvs-nhc98] Re-introduce pattern queries in hat-obser nhc-cvs   Malcolm Wallace
 42. 2002-05-02  [cvs-nhc98] Solve the problem that _ did not expand i nhc-cvs   Malcolm Wallace
 43. 2002-05-01  [cvs-nhc98] Turn off the behaviour of hat-observe whe nhc-cvs   Malcolm Wallace
 44. 2002-05-01  [cvs-nhc98] Fix bug where hat-observe started remotel nhc-cvs   Malcolm Wallace
 45. 2002-05-01  [cvs-nhc98] Modifyied both nhc98 runtime system and h nhc-cvs   User olaf
 46. 2002-05-01  [cvs-nhc98] Modifyied both nhc98 runtime system and h nhc-cvs   User olaf
 47. 2002-05-01  [cvs-nhc98] Modifyied both nhc98 runtime system and h nhc-cvs   User olaf
 48. 2002-05-01  [cvs-nhc98] Show unique equations by default.         nhc-cvs   Malcolm Wallace
 49. 2002-05-01  [cvs-nhc98] In the basic Hat C routines:              nhc-cvs   Malcolm Wallace
 50. 2002-05-01  [cvs-nhc98] Remove option to ignore cycles.  Add a mi nhc-cvs   Malcolm Wallace
 51. 2002-05-01  [cvs-nhc98] Remove openBridgeFile - now incorporated  nhc-cvs   Malcolm Wallace
 52. 2002-05-01  [cvs-nhc98] In hat-trail, remove :set cycles option - nhc-cvs   Malcolm Wallace
 53. 2002-05-01  [cvs-nhc98] Make :info in hat-observe slightly pretti nhc-cvs   Malcolm Wallace
 54. 2002-05-01  [cvs-nhc98] In hat-observe:                           nhc-cvs   Malcolm Wallace

 Top  Prev