Mon Mar 4 08:52:23 PST 2002 malcolm * In hat-explore: * add a status line - shows messages, and usually the current srcref * add commands to change the cutoff-depth * add an `always-show-equations' mode * support multi-character commands on the bottom line * the = key now toggles the current equation on/off * the = key takes you immediately to the RHS * the action of the [ ] movement keys is now bound to < and > * shrink and expand are now - and + M ./src/hattools/HighlightStyle.hs +4 M ./src/hattools/SExp.hs -6 +9