[cvs-nhc98] patch applied (hat): Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:28:42 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Added hat-source as new experimental tool for combining hat-detect with source highlighting. Currently only highlights evaluated definition body of " main" . Several small changes in other files to make hat-source. Also slightly improved handling of positions.
Next message: [cvs-nhc98] patch applied (hat): Corrected mergePos in module extra to correct the attached bug.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sun Aug 29 07:41:22 PDT 2004  olaf
  * Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.
  Does not find children of trusted reductions.

    M ./src/hattools/HatExplore.hs -45 +259

More information about the Cvs-nhc98 mailing list