2002-May Archives by Subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed May 1 14:34:54 2002
Ending: Wed May 29 17:33:03 2002
Messages: 54

• [cvs-nhc98] Add :source and :Source commands to hat-observe.   Malcolm Wallace
• [cvs-nhc98] Allow pattern "f in g" to match even if g is inside a lamb   Malcolm Wallace
• [cvs-nhc98] Bring back the "old" hat tools (i.e. which still work with   Malcolm Wallace
• [cvs-nhc98] Bugfix for negative literal number patterns, where the ins   Malcolm Wallace
• [cvs-nhc98] Change (f . g) = \x-> f (g x) to (.) f g x = f (g x)   Malcolm Wallace
• [cvs-nhc98] Changed combinators for trusting in -hat.   User olaf
• [cvs-nhc98] Comment out the over-large display squashing code. Reduce   Malcolm Wallace
• [cvs-nhc98] Directory /usr/src/master/nhc/src/hat/oldtools added to th   Malcolm Wallace
• [cvs-nhc98] Do `extractExp' on field update expressions, to ensure tha   Malcolm Wallace
• [cvs-nhc98] Document hmake bugfix for release version 3.04.   Malcolm Wallace
• [cvs-nhc98] Explicit projections in the SExp structure are a nuisance,   Malcolm Wallace
• [cvs-nhc98] Filled in (..) in import/export lists of standard librarie   User olaf
• [cvs-nhc98] Fix bug where hat-observe started remotely from another to   Malcolm Wallace
• [cvs-nhc98] Fix incorrect (cyclic) display of (non-cyclic) partial str   Malcolm Wallace
• [cvs-nhc98] Fix incorrect pretty-printing indent in hat-observe: the h   Malcolm Wallace
• [cvs-nhc98] Fix subtle bug which caused some equations to display as p   Malcolm Wallace
• [cvs-nhc98] Fixed bug in handling of pattern bindings.   User olaf
• [cvs-nhc98] Fixed bug in relabelling.   User olaf
• [cvs-nhc98] hat-observe of `f in f' (i.e. only recursive calls) gave n   Malcolm Wallace
• [cvs-nhc98] hmake is now at version 3.04.   Malcolm Wallace
• [cvs-nhc98] In all hat tools:   Malcolm Wallace
• [cvs-nhc98] In Hat combinator library reintroduce stack for entered re   User olaf
• [cvs-nhc98] In Hat combinator library reintroduce stack for entered re   User olaf
• [cvs-nhc98] In Hat combinator library reintroduce stack for entered re   User olaf
• [cvs-nhc98] In hat-observe:   Malcolm Wallace
• [cvs-nhc98] In hat-trail, on the RHS of an equation, do not stop at th   Malcolm Wallace
• [cvs-nhc98] In hat-trail, remove :set cycles option - for correctness,   Malcolm Wallace
• [cvs-nhc98] In hat-trans, if a module has no export list, produce an e   Malcolm Wallace
• [cvs-nhc98] In pattern lexing, should accept _ and ' as part of an ide   Malcolm Wallace
• [cvs-nhc98] In the basic Hat C routines:   Malcolm Wallace
• [cvs-nhc98] Make :info in hat-observe slightly prettier.   Malcolm Wallace
• [cvs-nhc98] Minor changes to the main build wrt the hat-tools:   Malcolm Wallace
• [cvs-nhc98] Modifyied both nhc98 runtime system and hat library to cat   User olaf
• [cvs-nhc98] Modifyied both nhc98 runtime system and hat library to cat   User olaf
• [cvs-nhc98] Modifyied both nhc98 runtime system and hat library to cat   User olaf
• [cvs-nhc98] No log message   Malcolm Wallace
• [cvs-nhc98] Now obsolete.   Malcolm Wallace
• [cvs-nhc98] Portable Hat: Fixed <> bug.   User olaf
• [cvs-nhc98] Preliminary version of a cygwin mangler - not ready for us   Malcolm Wallace
• [cvs-nhc98] Propagate additional SExp constructor SString into depende   Malcolm Wallace
• [cvs-nhc98] Quote the function name passed to hat-observe from hat-tra   Malcolm Wallace
• [cvs-nhc98] Re-introduce pattern queries in hat-observe. There is now   Malcolm Wallace
• [cvs-nhc98] Reformat to 80 columns only.   Malcolm Wallace
• [cvs-nhc98] Remove openBridgeFile - now incorporated into openHatFile.   Malcolm Wallace
• [cvs-nhc98] Remove option to ignore cycles. Add a missing eqn for `la   Malcolm Wallace
• [cvs-nhc98] Replaced definition of wrapForward by def. of wrapUForward   User olaf
• [cvs-nhc98] Revert PackedString comparison to the previous version. T   Malcolm Wallace
• [cvs-nhc98] Show unique equations by default.   Malcolm Wallace
• [cvs-nhc98] Slight tidy-up of list-sugaring.   Malcolm Wallace
• [cvs-nhc98] Solve the problem that _ did not expand in verbose mode, a   Malcolm Wallace
• [cvs-nhc98] The renamer for -hat did not handle the case that a locall   Malcolm Wallace
• [cvs-nhc98] Turn off the behaviour of hat-observe whereby a functional   Malcolm Wallace
• [cvs-nhc98] When navigating with arrow keys in hat-trail, treat a suga   Malcolm Wallace
• [cvs-nhc98] With recent fixes for when Hidden/Forward chains are gener   Malcolm Wallace

Last message date: Wed May 29 17:33:03 2002
Archived on: Wed May 29 12:34:00 2002

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...