[cvs-nhc98] patch applied (hat): Added interface to hat-trail. Now, hat-trail and hat-detect maybe

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:06:22 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Modifications to hat-connect:
Next message: [cvs-nhc98] patch applied (hat): Fixed bug in IdName: don' t access first character " charAt(0)" of empty
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Jul 18 07:52:50 PDT 2001  thorsten
  * Added interface to hat-trail. Now, hat-trail and hat-detect maybe
  started on any observed equation/redex.

    M ./src/hattools/HatObserve.hs -12 +38
    M ./src/hattools/Hatobserve.hs -12 +38

Previous message: [cvs-nhc98] patch applied (hat): Modifications to hat-connect:
Next message: [cvs-nhc98] patch applied (hat): Fixed bug in IdName: don' t access first character " charAt(0)" of empty
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list