[cvs-nhc98] patch applied (hat): Three improvements of HatSource:

[Malcolm Wallace]

Tue Oct  5 11:53:45 PDT 2004  olaf
  * Three improvements of HatSource:
  
  Modified highlighting so that it leaves default settings (esp. of colours) untouched as far as possible. Also now works also with terminals that interpret bold + foreground colour as lighter foreground colour. May however have contrast problems with default foreground colour.
  
  Removed highlighting from keywords in equations. That highlighting did not go well with highlighting of full equations and caused problems with cutting off equations at end of line.
  
  When determining faulty slice now keep track of nodes already visited. Thus looping for recursive constants can no longer happen. Still seems fast enough in practice; better set implementation could improve this.

    M ./src/hattools/HatExplore.hs -23 +39