- Cvs-nhc98 - Haskell.org

patch applied (hat): Fix HTML validation errors
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 13 03:00:45 PDT 2004 malcolm * Fix HTML validation errors M ./docs/index.html -25 +16

1 0

patch applied (hat): Now it is also possible to declare trusted reductions to be wrong or of unknown correctness.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 11:21:22 PDT 2004 olaf * Now it is also possible to declare trusted reductions to be wrong or of unknown correctness. So the difference between trusted and suspected reductions is that without a different declaration by the programmer the former are by default correct, the later are by default unknown. M ./src/hattools/HatExplore.hs -21 +38

1 0

patch applied (hat): Added a message line that either gives some state information or shows a warning message.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 10:22:09 PDT 2004 olaf * Added a message line that either gives some state information or shows a warning message. Reduce screen flickering by forcing the whole screen output string before doing output. Cut overlong lines at end of line. Handle \t, \r and \f correctly. Added forgotten export of "home" to HighlightStyle. M ./src/hattools/HatExplore.hs -27 +74 M ./src/hattools/HighlightStyle.hs -1 +1

1 0

patch applied (hat): Note that < glib> is no longer required (but still used if present).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:52:12 PDT 2004 malcolm * Note that <glib> is no longer required (but still used if present). M ./docs/requirements.html -9 +10

1 0

patch applied (hat): More-or-less current state of the libraries.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:51:20 PDT 2004 malcolm * More-or-less current state of the libraries. M ./docs/libraries.html -8 +10

1 0

patch applied (hat): Add build times for more recent (faster) machines.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:50:39 PDT 2004 malcolm * Add build times for more recent (faster) machines. M ./docs/install.html -3 +6

1 0

patch applied (hat): Note workarounds for bugs.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:50:04 PDT 2004 malcolm * Note workarounds for bugs. M ./docs/bugs.html -3 +5 M ./docs/faq.html -2 +45

1 0

patch applied (hat): More to do.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:48:05 PDT 2004 malcolm * More to do. M ./ToDo -2 +5

1 0

patch applied (hat): Installation location tweaks.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:46:03 PDT 2004 malcolm * Installation location tweaks. M ./script/confhat -6 +16

1 0

patch applied (hat): A little more configuration magic for when < glib> is absent.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:43:29 PDT 2004 malcolm * A little more configuration magic for when <glib> is absent. M ./configure +6 M ./src/hattools/Makefile -9 +16

1 0