October 2006 - Cvs-nhc98

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

patch applied (hat): Added handling of multiple modules and automatic focus on relevant source part.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Oct 8 04:18:39 PDT 2004 olaf * Added handling of multiple modules and automatic focus on relevant source part. If use occurrence of current redex and siblings (or definition) is not within visible part of source, then part is changed appropriately. This happens every time the current redex is changed by user. Modules are read on demand. User can change with < and > between modules. Both change of module and change of redex sibling rotates, going round at end. A bit of refactoring. Introducing type CursorSeq for handling both modules and redexes. M ./src/hattools/HatExplore.hs -90 +220

1 0

patch applied (hat): HatCover depends on HighlightStyle.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Oct 7 07:18:40 PDT 2004 malcolm * HatCover depends on HighlightStyle. M ./src/hattools/Makefile -1 +1

1 0

patch applied (hat): Improvements from Colin.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Oct 7 07:18:13 PDT 2004 malcolm * Improvements from Colin. M ./src/hattools/HatCover.hs -67 +87

1 0

patch applied (hat): Manpage for hat-cover.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Oct 7 07:11:26 PDT 2004 malcolm * Manpage for hat-cover. A ./man/hat-cover.1

1 0