October 1997 Archives by thread

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

Starting: Wed Oct 1 00:13:12 AEST 1997
Ending: Fri Oct 31 19:46:19 AEDT 1997
Messages: 225

• diff: clpr/README changes   Fergus Henderson
• ODBC interface   Simon Taylor
  • [m-dev.] ODBC interface   Fergus Henderson
    • [m-dev.] ODBC interface   Simon Taylor
      • [m-dev.] ODBC interface   Fergus Henderson
      • [m-dev.] ODBC interface   Peter Schachte
      • [m-dev.] ODBC interface   Simon Taylor
• /home/mercury1 full   Fergus Henderson
• diff: detect linking with inconsistent grades   Fergus Henderson
  • [m-dev.] diff: detect linking with inconsistent grades   Peter Schachte
    • [m-dev.] diff: detect linking with inconsistent grades   Fergus Henderson
      • [m-dev.] diff: detect linking with inconsistent grades   Peter Schachte
      • [m-dev.] diff: detect linking with inconsistent grades   Tyson Richard DOWD
      • [m-dev.] diff: detect linking with inconsistent grades   Fergus Henderson
  • [m-dev.] diff: detect linking with inconsistent grades   David Glen JEFFERY
    • [m-dev.] diff: detect linking with inconsistent grades   Fergus Henderson
• diff: handling of --grade options   Fergus Henderson
  • diff: handling of --grade options   Fergus Henderson
    • [m-dev.] Re: diff: handling of --grade options   Tyson Richard DOWD
      • [m-dev.] Re: diff: handling of --grade options   Fergus Henderson
      • diff: handling of --grade options   Fergus Henderson
• [m-dev.] diff: mdemangle bug fix   Tyson Richard DOWD
• updated diff for tracing   Zoltan Somogyi
  • [m-dev.] updated diff for tracing   Fergus Henderson
• diff: memmove() & SunOS 4.x   Fergus Henderson
• diff: www - remote cvs access.   Tyson Richard DOWD
• diff: ml.in bug fix for SunOS 4.x   Fergus Henderson
• for review: generating traces   Zoltan Somogyi
  • [m-dev.] for review: generating traces   Thomas Charles CONWAY
  • [m-dev.] for review: generating traces   Fergus Henderson
• diff: speedtest   Zoltan Somogyi
• diff: io__call_system/4   Christopher Rodd SPEIRS
  • [m-dev.] diff: io__call_system/4   Fergus Henderson
    • [m-dev.] diff: io__call_system/4   Andrew Bromage
      • [m-dev.] diff: io__call_system/4   Fergus Henderson
  • [m-dev.] diff: io__call_system/4   Christopher Rodd SPEIRS
    • [m-dev.] diff: io__call_system/4   Fergus Henderson
  • [m-dev.] diff: io__call_system/4   Zoltan Somogyi
    • [m-dev.] diff: io__call_system/4   Fergus Henderson
    • [m-dev.] diff: io__call_system/4   Andrew Bromage
      • [m-dev.] diff: io__call_system/4   Thomas Charles CONWAY
• diff: added bag__to_list to bag.m   Christopher Rodd SPEIRS
  • [m-dev.] diff: added bag__to_list to bag.m   Fergus Henderson
  • [m-dev.] diff: added bag__to_list to bag.m   Andrew Bromage
• Termination Analysis part 1   Christopher Rodd SPEIRS
  • Termination Analysis part 1   Christopher Rodd SPEIRS
• Termination Analysis part 1.1   Christopher Rodd SPEIRS
  • [m-dev.] Termination Analysis part 1.1   Fergus Henderson
    • [m-dev.] Termination Analysis part 1.1   Christopher Rodd SPEIRS
      • [m-dev.] Termination Analysis part 1.1   Fergus Henderson
• Termination Analysis part 1.2   Christopher Rodd SPEIRS
• bag__to_list   Fergus Henderson
  • [m-dev.] Re: bag__to_list   Christopher Rodd SPEIRS
    • [m-dev.] Re: bag__to_list   Fergus Henderson
• diff: trailing documentation fix   Fergus Henderson
• diff: improvements to ODBC interface   Simon Taylor
  • [m-dev.] diff: improvements to ODBC interface   Fergus Henderson
• Termination Analysis 2.1   Christopher Rodd SPEIRS
  • [m-dev.] Termination Analysis 2.1   Fergus Henderson
• Termination Analysis 2.2   Christopher Rodd SPEIRS
  • [m-dev.] Termination Analysis 2.2   Fergus Henderson
• Diff: Bug fix in inst_util   Andrew Bromage
• Bug fix: Prolog version of builtin_aggregate   Thomas Charles CONWAY
• diff: mercury_grade.c improvement   Fergus Henderson
• New syntax proposal   Thomas Charles CONWAY
  • [m-dev.] New syntax proposal   Fergus Henderson
    • [m-dev.] New syntax proposal   Thomas Charles CONWAY
      • [m-dev.] New syntax proposal   Fergus Henderson
      • [m-dev.] New syntax proposal   Christopher Rodd SPEIRS
      • New syntax proposal   Fergus Henderson
• www diff: Mercury to Haskell   Zoltan Somogyi
• diff: clp(R): port to Linux   Fergus Henderson
• diff: clpr/Mmakefile minor changes   Fergus Henderson
• diff: extras/trailed_update enhancements + bug fixes   Fergus Henderson
  • [m-dev.] diff: extras/trailed_update enhancements + bug fixes   Tyson Richard DOWD
    • [m-dev.] diff: extras/trailed_update enhancements + bug fixes   Fergus Henderson
• Diff: Bug fix in mercury_trace.h   Andrew Bromage
• diff: bug in install_grades   Fergus Henderson
• diff: var.m bug fix   Fergus Henderson
• diff: odbc/Mmakefile: add `--no-ansi' for // comments   Fergus Henderson
• diff: fix for SunOS4.x problem   Fergus Henderson
  • [m-dev.] diff: fix for SunOS4.x problem   Tyson Richard DOWD
    • [m-dev.] diff: fix for SunOS4.x problem   Fergus Henderson
    • diff: fix for SunOS4.x problem   Fergus Henderson
• Linux & shared libraries   Fergus Henderson
  • Linux & shared libraries   Fergus Henderson
    • [m-dev.] Linux & shared libraries   Tyson Richard DOWD
      • [m-dev.] Linux & shared libraries   Fergus Henderson
• diff: odbc.m: gcc & MS odbc header files   Fergus Henderson
  • [m-dev.] diff: odbc.m: gcc & MS odbc header files   Simon Taylor
• Termination Analysis 3   Christopher Rodd SPEIRS
  • [m-dev.] Termination Analysis 3   Fergus Henderson
    • [m-dev.] Termination Analysis 3   Christopher Rodd SPEIRS
      • [m-dev.] Termination Analysis 3   Mark Wielaard
    • Termination Analysis 3   Lee Naish
• diff: incorporating lp_solve in the distribution   Fergus Henderson
  • [m-dev.] diff: incorporating lp_solve in the distribution   Tyson Richard DOWD
    • [m-dev.] diff: incorporating lp_solve in the distribution   Thomas Charles CONWAY
    • [m-dev.] diff: incorporating lp_solve in the distribution   Fergus Henderson
      • [m-dev.] diff: incorporating lp_solve in the distribution   Tyson Richard DOWD
      • diff: incorporating lp_solve in the distribution   Fergus Henderson
• trivial diff: mercury_grade.h minor improvement   Fergus Henderson
• lp_solve distribution   Fergus Henderson
  • lp_solve distribution   Michel Berkelaar
  • [m-dev.] Re: lp_solve distribution   Tyson Richard DOWD
    • [m-dev.] Re: lp_solve distribution   Thomas Charles CONWAY
• lp_solve distribution (fwd)   Fergus Henderson
  • [m-dev.] Re: lp_solve distribution (fwd)   Thomas Charles CONWAY
• diff for review and inclusion in the build tonight   Fergus Henderson
  • lexer.m change (was: Re: diff for review and inclusion in the build tonight)   Fergus Henderson
• for review: the second batch of trace ports   Zoltan Somogyi
  • [m-dev.] for review: the second batch of trace ports   Fergus Henderson
• diff: lp_solve Mmakefile bug fixes   Fergus Henderson
• Termination stuff   Fergus Henderson
• for review: NEWS file   Fergus Henderson
• diff: unpack mercury-extras into mercury/extras   Fergus Henderson
• diff: mprof_merge_runs   Fergus Henderson
• trivial diff: s/user_type(_)/user_type/   Fergus Henderson
• trivial diff: cfloat.m bug fix   Fergus Henderson
• diff: detect floundering in solutions/2 etc.   Fergus Henderson
  • diff: detect floundering in solutions/2 etc.   Fergus Henderson
  • diff: detect floundering in solutions/2 etc.   Fergus Henderson
• trivial diff: scripts/ml.in: order of -rpath options   Fergus Henderson
• diff: changes to copy/2   Fergus Henderson
• trivial diff: lp_solve/README.Mercury   Fergus Henderson
• diff: update NEWS   Zoltan Somogyi
• /home/mercury0?   Andrew Peel
• /home/mercury0? (fwd)   Fergus Henderson
• for review: better messages for some type errors   Zoltan Somogyi
  • [m-dev.] for review: better messages for some type errors   Fergus Henderson
• diff: profiler demangling bug fix   Fergus Henderson
• trivial diff: modecheck_unify.m lambda goal contexts   Fergus Henderson
• No subject   Andrew Bromage
  • change to library/queue.m   Fergus Henderson
    • [m-dev.] Re: change to library/queue.m   Andrew Bromage
      • [m-dev.] Re: change to library/queue.m   Fergus Henderson
• trivial diff: bug fixes for termination options help   Fergus Henderson
• choosing which mode of a pred to use   Fergus Henderson
• for review: choose best mode, not first mode   Fergus Henderson
  • for review: choose best mode, not first mode   Lee Naish
    • [m-dev.] Re: for review: choose best mode, not first mode   Fergus Henderson
  • for review: choose best mode, not first mode   Tyson Richard DOWD
• diff: move some useful code out of dnf.m   Simon Taylor
  • diff: move some useful code out of dnf.m   Andrew Bromage
• testing gateway.   Tyson Richard DOWD
• diff: output module dependency ordering   Simon Taylor
  • [m-dev.] diff: output module dependency ordering   Fergus Henderson
  • diff: output module dependency ordering   Tyson Richard DOWD
• trivial diff: copy/2 & mercury_builtin.nu.nl   Fergus Henderson
• trivial diff: bugfix in termination.m   Christopher Rodd SPEIRS
  • [m-dev.] trivial diff: bugfix in termination.m   Fergus Henderson
    • [m-dev.] trivial diff: bugfix in termination.m   Christopher Rodd SPEIRS
• trivial diff: README.MS-Windows changes   Fergus Henderson
• trivial diff: Mmakefile: ignore errors installing lp_solve   Fergus Henderson
• trivial diff: configure.in: check for >0.7.2   Fergus Henderson
• trivial diff: scripts/ml.in bug catcher   Fergus Henderson
• trivial diff: mprof_merge_runs man page   Fergus Henderson
• Test.   Tyson Richard DOWD
  • Test.   Tyson Richard DOWD
    • [m-dev.] Re: Test.   Thomas Charles CONWAY
  • Test.   Tyson Richard DOWD
    • Test.   Tyson Richard DOWD
  • Test.   Tyson Richard DOWD
• diff: liveness bug fix   Zoltan Somogyi
  • [m-dev.] diff: liveness bug fix   Fergus Henderson
• Did someone break the installed mmc?   Peter Schachte
  • [m-dev.] Did someone break the installed mmc?   David Glen JEFFERY
• For review: mercury linear inequation solver/termination analysis mods.   Thomas Charles CONWAY
  • [m-dev.] For review: mercury linear inequation solver/termination analysis mods.   Fergus Henderson
  • [m-dev.] For review: mercury linear inequation solver/termination analysis mods.   Christopher Rodd SPEIRS
    • [m-dev.] For review: mercury linear inequation solver/termination analysis mods.   Thomas Charles CONWAY
• diff: fix for GNU Make 3.76   Fergus Henderson
• Partial Instantiated structures (free -> free)   Mark Wielaard
  • [m-dev.] Partial Instantiated structures (free -> free)   Fergus Henderson
    • [m-dev.] Partial Instantiated structures (free -> free)   Mark Wielaard
      • [m-dev.] Partial Instantiated structures (free -> free)   Andrew Bromage
      • [m-dev.] Partial Instantiated structures (free -> free)   Mark Wielaard
      • [m-dev.] Partial Instantiated structures (free -> free)   Mark Wielaard
      • [m-dev.] Partial Instantiated structures (free -> free)   Fergus Henderson
  • Partial Instantiated structures (free -> free)   Lee Naish
    • [m-dev.] Re: Partial Instantiated structures (free -> free)   Mark Wielaard
• revised lp.m   Thomas Charles CONWAY
  • [m-dev.] revised lp.m   Fergus Henderson
• for review: liveness bug fix, take 2   Zoltan Somogyi
  • [m-dev.] for review: liveness bug fix, take 2   Fergus Henderson
• For review: compiler support for parallel conjunction   Thomas Charles CONWAY
  • [m-dev.] For review: compiler support for parallel conjunction   Fergus Henderson
    • For review: compiler support for parallel conjunction   Mark Wielaard
      • [m-dev.] Re: For review: compiler support for parallel conjunction   Fergus Henderson
      • [m-dev.] Re: For review: compiler support for parallel conjunction   Fergus Henderson
• trivial diff: remove `lp_solve'   Fergus Henderson
• intermodule optimization bug   Fergus Henderson
  • [m-dev.] Re: intermodule optimization bug   Tyson Richard DOWD
• diff: pragma no_inline and --intermodule-optimization   Simon Taylor
  • [m-dev.] diff: pragma no_inline and --intermodule-optimization   Fergus Henderson
• diff: configure.in: changes to default LIBGRADES   Fergus Henderson
• diff: Compiler support for stack_layouts   Tyson Richard DOWD
  • [m-dev.] diff: Compiler support for stack_layouts   Zoltan Somogyi
    • [m-dev.] diff: Compiler support for stack_layouts   Tyson Richard DOWD
  • [m-dev.] diff: Compiler support for stack_layouts   Zoltan Somogyi
    • [m-dev.] diff: Compiler support for stack_layouts   Tyson Richard DOWD
• Revised diff for parallel conjunction   Thomas Charles CONWAY
  • Revised diff for parallel conjunction   Fergus Henderson
• diff: Runtime support for stack_layouts   Tyson Richard DOWD
  • [m-dev.] diff: Runtime support for stack_layouts   Zoltan Somogyi
    • diff: Runtime support for stack_layouts   Fergus Henderson
      • [m-dev.] Re: diff: Runtime support for stack_layouts   Tyson Richard DOWD
    • [m-dev.] diff: Runtime support for stack_layouts   Tyson Richard DOWD
• For review: Improve debugging printout under Prolog   Peter Schachte
  • [m-dev.] For review: Improve debugging printout under Prolog   Fergus Henderson
  • For review: Improve debugging printout under Prolog   Lee Naish
• retrieving arguments in the trace   Tyson Richard DOWD
  • [m-dev.] Re: retrieving arguments in the trace   Peter Schachte
• diff: allocation.html   Zoltan Somogyi
• for review: better debugging of llds instructions   Zoltan Somogyi
  • [m-dev.] for review: better debugging of llds instructions   Fergus Henderson
• for review: a new way of handling failure   Zoltan Somogyi
  • [m-dev.] for review: a new way of handling failure   Fergus Henderson
  • [m-dev.] for review: a new way of handling failure   Zoltan Somogyi
    • [m-dev.] for review: a new way of handling failure   Fergus Henderson
• Maybe impure functions aren't such a good idea...   Fergus Henderson
• diff: NEWS for 0.7.3   Fergus Henderson
  • [m-dev.] diff: NEWS for 0.7.3   Tyson Richard DOWD
    • [m-dev.] diff: NEWS for 0.7.3   Fergus Henderson
• proposed new way of handling failure   Zoltan Somogyi

Last message date: Fri Oct 31 19:46:19 AEDT 1997
Archived on: Wed Mar 23 20:45:12 AEDT 2016

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