October 2006 - Cvs-nhc98

patch applied (hat): The unique selection has a unique highlight; shared occurrences of
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 21 10:17:04 PST 2002 malcolm * The unique selection has a unique highlight; shared occurrences of the same subexpression have a different highlight. Also, refactor some compiler-dependent imports into a single module, FFIExtensions. A ./src/hattools/FFIExtensions.hs M ./src/hattools/HatTrail.hs -57 +74 M ./src/hattools/LowLevel.hs -1 +1 M ./src/hattools/SExp.hs -53 +58

1 0

patch applied (hat): Tweaks to installation of ghc hat package.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Mar 21 08:44:28 PST 2002 malcolm * Tweaks to installation of ghc hat package. M ./script/confhat -6 +14

1 0

patch applied (hat): Fix hmake configuration in a binary distribution package,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Mar 19 04:10:49 PST 2002 malcolm * Fix hmake configuration in a binary distribution package, and bump version number up to 1.13 for CVS. M ./Makefile.inc -1 +1

1 0

patch applied (hat): Add pointers to HTML versions of documents.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sat Mar 16 04:35:51 PST 2002 malcolm * Add pointers to HTML versions of documents. M ./docs/index.html +2

1 0

patch applied (hat): Make some small changes for an HTML version of the Hat tutorial.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sat Mar 16 04:35:20 PST 2002 malcolm * Make some small changes for an HTML version of the Hat tutorial. (Macro file tutorial1.hva is used by HeVeA to convert highlighting into colours for HTML.) A ./docs/tutorial1.hva M ./docs/tutorial1.tex -68 +70

1 0

patch applied (hat): Add more information about known bugs and problems.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 15 09:22:38 PST 2002 malcolm * Add more information about known bugs and problems. A ./docs/bugs-tools.html M ./docs/limitations.html -5 +9

1 0

patch applied (hat): Small man-page updates.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 15 08:27:41 PST 2002 malcolm * Small man-page updates. A ./man/ A ./man/hat-detect.1 A ./man/hat-observe.1 A ./man/hat-stack.1 A ./man/hat-trail.1

1 0

patch applied (hat): Update the Hat feature table.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 15 08:19:07 PST 2002 malcolm * Update the Hat feature table. M ./docs/feature-table.html -58 +58

1 0

patch applied (hat): Fix a couple of LaTeX warnings.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 15 08:18:48 PST 2002 malcolm * Fix a couple of LaTeX warnings. M ./docs/hatuser.tex -2 +2

1 0

patch applied (hat): Draft tutorial, part 1.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Mar 15 08:18:01 PST 2002 malcolm * Draft tutorial, part 1. A ./docs/BadInsort.hs A ./docs/Insort.hs A ./docs/tutorial1.tex

1 0