May 2001 - Cvs-nhc98 - Haskell.org

Updated web pages for Hat.
by olaf＠sparud.net 21 May '01

21 May '01

olaf: Mon May 21 16:06:34 CEST 2001 Update of /usr/src/master/nhc/docs/hat/private/Memos In directory hinken:/tmp/cvs-serv17708/docs/hat/private/Memos Removed Files: index.html Log Message: Updated web pages for Hat.

1 0

Updated web pages for Hat.
by olaf＠sparud.net 21 May '01

21 May '01

olaf: Mon May 21 16:06:34 CEST 2001 Update of /usr/src/master/nhc/docs/hat/private In directory hinken:/tmp/cvs-serv17708/docs/hat/private Removed Files: conf.html index.html Log Message: Updated web pages for Hat.

1 0

- introduced workaround for IO(_): showing operation behin
by thorsten＠sparud.net 21 May '01

21 May '01

thorsten: Mon May 21 15:50:29 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv17623 Modified Files: hat-detect.c hatfileops.c Log Message: - introduced workaround for IO(_): showing operation behind HIDDEN node - new command in hat-detect: going back to specific questions by entering a number only (rather than using the "go" command), as suggested by the manual

1 0

Update Hat feature-table.
by malcolm＠sparud.net 21 May '01

21 May '01

malcolm: Mon May 21 15:32:58 CEST 2001 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv17555 Modified Files: feature-table.html Log Message: Update Hat feature-table.

1 0

Updated and reordered documentation for Hat.
by olaf＠sparud.net 21 May '01

21 May '01

olaf: Mon May 21 12:33:27 CEST 2001 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv16842/docs/hat Modified Files: index.html Added Files: hat-trail-1.eps hat-trail.gif hat.gif hatuser.tex Removed Files: compiler.gif compiler2.gif people.html Log Message: Updated and reordered documentation for Hat. Everything is in the subdirectory docs/hat.

1 0

Updated and reordered documentation for Hat.
by olaf＠sparud.net 21 May '01

21 May '01

olaf: Mon May 21 12:33:27 CEST 2001 Update of /usr/src/master/nhc/docs In directory hinken:/tmp/cvs-serv16842/docs Modified Files: index.html Removed Files: hatuser.tex Log Message: Updated and reordered documentation for Hat. Everything is in the subdirectory docs/hat.

1 0

- fixed two minor bugs in hat-detect.c, concerning display
by thorsten＠sparud.net 21 May '01

21 May '01

thorsten: Mon May 21 12:22:42 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv16729 Modified Files: hat-detect.c Added Files: nodelist.c nodelist.h Log Message: - fixed two minor bugs in hat-detect.c, concerning displaying erroneous equations - added missing module "nodelist" to archive

1 0

In tracing runtime, do interrupt/quit signals correctly.
by malcolm＠sparud.net 21 May '01

21 May '01

malcolm: Mon May 21 12:01:53 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv16653 Modified Files: browsercomms.c Log Message: In tracing runtime, do interrupt/quit signals correctly.

1 0

Minor change in nhc98 script for time profiling.
by malcolm＠sparud.net 21 May '01

21 May '01

malcolm: Mon May 21 12:00:48 CEST 2001 Update of /usr/src/master/nhc/script In directory hinken:/tmp/cvs-serv16613 Modified Files: nhc98.inst Log Message: Minor change in nhc98 script for time profiling.

1 0

- removed "forgotten" debugging code from hat-detect
by thorsten＠sparud.net 19 May '01

19 May '01

thorsten: Sat May 19 21:28:41 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv13228 Modified Files: hat-detect.c hatfileops.c observe.c Log Message: - removed "forgotten" debugging code from hat-detect - fixed problem with "hidden" parents in hat-detect - hat-observe: fixed problem with applications with a function trace to a SAT, which references the searched identifier in observe.c

1 0