July 1997 Archives by subject

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

Starting: Tue Jul 1 11:35:45 AEST 1997
Ending: Thu Jul 31 12:04:50 AEST 1997
Messages: 268

/home/mercury1 full Fergus Henderson
[mercury-users] Changes to 'mc'. Dominique de Waleffe
`extras' directory Fergus Henderson
[m-dev.] `extras' directory Tyson Richard DOWD
[m-dev.] `extras' directory Thomas Charles CONWAY
[m-dev.] Addition to string/performance bug fix Fergus Henderson
An opportunity for improvement Thomas Charles CONWAY
array.m: remove type_to_term and term_to_type Fergus Henderson
[m-dev.] array.m: remove type_to_term and term_to_type Peter Schachte
[m-dev.] array.m: remove type_to_term and term_to_type Fergus Henderson
[m-dev.] array.m: remove type_to_term and term_to_type Thomas Charles CONWAY
bug fix to frameopt Zoltan Somogyi
[m-dev.] bug fix to frameopt Zoltan Somogyi
[m-dev.] bug fix to frameopt Fergus Henderson
[m-dev.] bug fix to frameopt Fergus Henderson
call.mod -> mercury_builtin.m Tyson Richard DOWD
[m-dev.] call.mod -> mercury_builtin.m Fergus Henderson
cgi interface Fergus Henderson
cgi interface Peter David ROSS
[m-dev.] cgi interface Andrew Bromage
cgi interface Peter David ROSS
CGI module? Peter David ROSS
[m-dev.] CGI module? Fergus Henderson
changes to copyright messages Fergus Henderson
code freeze Fergus Henderson
complex numbers Fergus Henderson
[m-dev.] complex numbers Andrew Bromage
[m-dev.] complex numbers Bert Thompson
[m-dev.] complex numbers Fergus Henderson
[m-dev.] complex numbers Tyson Richard DOWD
Cygwin32 Tyson Richard DOWD
[m-dev.] Cygwin32 Fergus Henderson
[m-dev.] Cygwin32 Tyson Richard DOWD
diff: additions to samples/c_interface Fergus Henderson
[m-dev.] diff: additions to samples/c_interface Fergus Henderson
[m-dev.] diff: additions to samples/c_interface Simon TAYLOR
[m-dev.] diff: additions to samples/c_interface David Glen JEFFERY
diff: add module qualifiers to type names. Tyson Richard DOWD
[m-dev.] diff: add module qualifiers to type names. Fergus Henderson
diff: array_test.m Andrew Bromage
[m-dev.] diff: array_test.m Fergus Henderson
[m-dev.] diff: array_test.m Andrew Bromage
[m-dev.] diff: array_test.m Fergus Henderson
diff: Array reorganisation Andrew Bromage
[m-dev.] diff: Array reorganisation Fergus Henderson
[m-dev.] diff: Array reorganisation Andrew Bromage
[m-dev.] diff: Array reorganisation Andrew Bromage
[m-dev.] diff: Array reorganisation Fergus Henderson
diff: benchmark_{det,nondet}: s/det/cc_multi/ Fergus Henderson
diff: bug fix Simon TAYLOR
[m-dev.] diff: bug fix Fergus Henderson
diff: bug fix Simon TAYLOR
[m-dev.] diff: bug fix Fergus Henderson
[m-dev.] diff: bug fix Simon TAYLOR
[m-dev.] diff: bug fix Fergus Henderson
diff: bug fix for `-O0 --warn-duplicate-calls' Fergus Henderson
[m-dev.] diff: bug fix for `-O0 --warn-duplicate-calls' Simon TAYLOR
diff: bugfix for configure.in Tyson Richard DOWD
diff: bug fix for getopt.m Tyson Richard DOWD
[m-dev.] diff: bug fix for getopt.m Fergus Henderson
diff: bug fix for higher-order implied modes Fergus Henderson
[m-dev.] diff: bug fix for higher-order implied modes Tyson Richard DOWD
[m-dev.] diff: bug fix for higher-order implied modes Fergus Henderson
diff: bug fix for pragma export includes David Glen JEFFERY
[m-dev.] diff: bug fix for pragma export includes Fergus Henderson
diff: Bug fix in frameopt/labelopt Andrew Bromage
diff: bug fix in io.m Andrew Bromage
Diff: bug fix in simplify.m Andrew Bromage
[m-dev.] Diff: bug fix in simplify.m Simon Taylor
diff: c_coding_standard.html Fergus Henderson
diff: changes for function mode inference Fergus Henderson
[m-dev.] diff: changes for function mode inference Andrew Bromage
diff: changes for function mode inference Fergus Henderson
diff: changes for user-defined libraries Fergus Henderson
[m-dev.] diff: changes for user-defined libraries Tyson Richard DOWD
[m-dev.] diff: changes for user-defined libraries Fergus Henderson
diff: changes to CVSROOT admin files Fergus Henderson
diff: changes to WWW page Fergus Henderson
diff: compiler_design Tyson Richard DOWD
diff: compiler_design Fergus Henderson
diff: CVSROOT/check.pl: check copyright dates Fergus Henderson
diff: det_report.m: report error for nondet functions Fergus Henderson
[m-dev.] diff: det_report.m: report error for nondet functions Thomas Charles CONWAY
[m-dev.] diff: det_report.m: report error for nondet functions Fergus Henderson
diff: documentation changes Fergus Henderson
diff: documentation for pragma fact_table Fergus Henderson
[m-dev.] diff: documentation for pragma fact_table David Matthew OVERTON
[m-dev.] diff: documentation for pragma fact_table Fergus Henderson
Diff: Error message in assoc_list Andrew Bromage
[m-dev.] Diff: Error message in assoc_list David Glen JEFFERY
[m-dev.] Diff: Error message in assoc_list Fergus Henderson
diff: extras/complex_number changes Fergus Henderson
diff: fact tables in NEWS file Fergus Henderson
diff: fixes for demangling Fergus Henderson
[m-dev.] diff: fixes for demangling Tyson Richard DOWD
[m-dev.] diff: fixes for demangling Fergus Henderson
[m-dev.] diff: fixes for demangling Tyson Richard DOWD
diff: float.m changes Fergus Henderson
[m-dev.] diff: float.m changes Thomas Charles CONWAY
diff: hlds_out.m Fergus Henderson
diff: inlining.m bug fix Fergus Henderson
diff: inst_match.m: s/map__set/map__det_update/ Fergus Henderson
[m-dev.] diff: inst_match.m: s/map__set/map__det_update/ Andrew Bromage
diff: leading zero in stage numbers Fergus Henderson
diff: library.init warning fix Fergus Henderson
diff: library.m bootstrapping problem fix Fergus Henderson
diff: library/*.m wrap long lines Fergus Henderson
diff: library/prolog.m bug fix Fergus Henderson
diff: llds_out.m removal of old hack Fergus Henderson
diff: map.nu.nl trivial change Fergus Henderson
diff: mc --> mmc Tyson Richard DOWD
[m-dev.] diff: mc --> mmc Fergus Henderson
[m-dev.] diff: mc --> mmc Tyson Richard DOWD
diff: mercury_update_interface messages Fergus Henderson
diff: missing #include Tyson Richard DOWD
[m-dev.] diff: missing #include Fergus Henderson
[m-dev.] diff: missing #include Tyson Richard DOWD
[m-dev.] diff: missing #include Fergus Henderson
[m-dev.] diff: missing #include Tyson Richard DOWD
[m-dev.] diff: missing #include Fergus Henderson
diff: module qualification of labels Simon TAYLOR
[m-dev.] diff: module qualification of labels Fergus Henderson
[m-dev.] diff: module qualification of labels Simon TAYLOR
[m-dev.] diff: module qualification of labels Fergus Henderson
diff: more bug fixes for liveness. Tyson Richard DOWD
[m-dev.] diff: more bug fixes for liveness. Tyson Richard DOWD
[m-dev.] diff: more bug fixes for liveness. Fergus Henderson
diff: more documentation changes Fergus Henderson
diff: NEWS: changes to integer division etc. Fergus Henderson
[m-dev.] diff: NEWS: changes to integer division etc. Peter Schachte
[m-dev.] diff: NEWS: changes to integer division etc. Tyson Richard DOWD
[m-dev.] diff: NEWS: changes to integer division etc. Thomas Charles CONWAY
diff: order of `yes' and `no' Fergus Henderson
diff: polymorphism.m bug fix Fergus Henderson
[m-dev.] diff: polymorphism.m bug fix Thomas Charles CONWAY
diff: polymorphism.m bug fix fix Fergus Henderson
[m-dev.] diff: polymorphism.m bug fix fix Thomas Charles CONWAY
diff: pragma obsolete bugfix Fergus Henderson
diff: prog_io.m checks for errors in func decls Fergus Henderson
diff: prog_io.m error detection fixes Fergus Henderson
[m-dev.] diff: prog_io.m error detection fixes Andrew Bromage
diff: prolog syntax fix in bt_array.m Andrew Bromage
diff: Prolog version of array.m Andrew Bromage
[m-dev.] diff: Prolog version of array.m Fergus Henderson
diff: quantification.m bug fixes Fergus Henderson
[m-dev.] diff: quantification.m bug fixes Thomas Charles CONWAY
diff: reference_manual.texi: inline & no_inline Fergus Henderson
diff: reference_manual.texi: memory management Fergus Henderson
diff: reference_manual.texi: module qualifiers Fergus Henderson
diff: reference_manual.texi minor corrections Fergus Henderson
diff: reference_manual.texi minor corrections Fergus Henderson
diff: remove list__apply Fergus Henderson
diff: Reorganisation of insts ADDENDUM Andrew Bromage
diff: Reorganisation of inst types and operations Andrew Bromage
[m-dev.] diff: Reorganisation of inst types and operations Fergus Henderson
[m-dev.] diff: Reorganisation of inst types and operations Andrew Bromage
[m-dev.] diff: Reorganisation of inst types and operations Fergus Henderson
diff: rewrite of runtime/timing.[hc] Fergus Henderson
diff: runtime/engine.h Simon Taylor
[m-dev.] diff: runtime/engine.h Fergus Henderson
[m-dev.] diff: runtime/engine.h Simon Taylor
diff: runtime/memory.c bug fix Fergus Henderson
diff: samples/diff/README documentation fix Andrew Bromage
diff: samples/e.m Andrew Bromage
[m-dev.] diff: samples/e.m Fergus Henderson
diff: scripts/ml.in shared lib support Fergus Henderson
diff: set__sorted_list_to_set documentation bug fix Fergus Henderson
diff: set_bbbtree__subset Fergus Henderson
diff: set_unordlist__power_union Fergus Henderson
diff: simplify.m/determinism bug fix Fergus Henderson
[m-dev.] diff: simplify.m/determinism bug fix Simon TAYLOR
diff: simplify.m bug fix Fergus Henderson
diff: simplify.m bug fix Fergus Henderson
[m-dev.] diff: simplify.m bug fix Simon TAYLOR
diff: sp_lib.nl string / float conversions Fergus Henderson
diff: std_util.m: remove obsolete XXX comments Fergus Henderson
diff: string.nu.nl string__unsafe_index Fergus Henderson
diff: string__substring bug fix Fergus Henderson
diff: switch detection progress messages Fergus Henderson
[m-dev.] diff: switch detection progress messages Fergus Henderson
diff: time.m documentation fix Fergus Henderson
diff: tools/bootcheck: version number changes Fergus Henderson
diff: tools/test_mercury bug fix Fergus Henderson
diff: type_name for higher order, round 2 Tyson Richard DOWD
[m-dev.] diff: type_name for higher order, round 2 Fergus Henderson
[m-dev.] diff: type_name for higher order, round 2 Tyson Richard DOWD
diff: type_name for higher order types. Tyson Richard DOWD
[m-dev.] diff: type_name for higher order types. Fergus Henderson
diff: uniq_array.m bug fix and enhancement Andrew Bromage
[m-dev.] diff: uniq_array.m bug fix and enhancement Fergus Henderson
diff: update of diff/samples/* Andrew Bromage
diff: update to web pages. Tyson Richard DOWD
[m-dev.] diff: update to web pages. David Glen JEFFERY
[m-dev.] diff: update to web pages. Tyson Richard DOWD
diff: version number & release build process Fergus Henderson
diff: web page fix Tyson Richard DOWD
errors when compiling the library (how to fix) Fergus Henderson
fact tables Fergus Henderson
[m-dev.] fact tables David Matthew OVERTON
[m-dev.] fact tables Fergus Henderson
for review: enhancement for profiling Thomas Charles CONWAY
[m-dev.] for review: enhancement for profiling Fergus Henderson
[m-dev.] for review: enhancement for profiling Thomas Charles CONWAY
[m-dev.] for review: enhancement for profiling Fergus Henderson
for review: file locking Thomas Charles CONWAY
[m-dev.] for review: file locking Fergus Henderson
[m-dev.] for review: file locking Thomas Charles CONWAY
for review: fixes to frameopt and value numbering Zoltan Somogyi
for review: fix to profiler Thomas Charles CONWAY
hydra. Tyson Richard DOWD
[m-dev.] Increasing detstack? Zoltan Somogyi
Increasing detstack? Michael David WINIKOFF
[m-dev.] Increasing detstack? Thomas Charles CONWAY
inefficiencies when creating the .opt file Christopher Rodd SPEIRS
[m-dev.] inefficiencies when creating the .opt file Simon TAYLOR
[m-dev.] inefficiencies when creating the .opt file Christopher Rodd SPEIRS
Lazy Semantics? Fergus Henderson
mercury & hydra NFS mounts Fergus Henderson
mercury_builtin.m: remove type_to_term and term_to_type Fergus Henderson
[m-dev.] module qualified type names Tyson Richard DOWD
[m-dev.] module qualified type names Fergus Henderson
more documentation changes Fergus Henderson
More todo before release. Tyson Richard DOWD
My copy of the Prolog standard Fergus Henderson
name collision for `sp' Fergus Henderson
[m-dev.] name collision for `sp' Thomas Charles CONWAY
NEWS: mention prolog.m, mc->mmc, io__read/write_binary Fergus Henderson
next release Fergus Henderson
[m-dev.] next release Tyson Richard DOWD
next release Fergus Henderson
[m-dev.] next release Simon TAYLOR
[m-dev.] next release Fergus Henderson
next release TODO list Fergus Henderson
[m-dev.] next release TODO list Zoltan Somogyi
[m-dev.] next release TODO list Fergus Henderson
[m-dev.] next release TODO list Tyson Richard DOWD
ODBC interface Simon TAYLOR
ODBC interface Fergus Henderson
[m-dev.] ODBC interface Fergus Henderson
[m-dev.] Re: ODBC interface Simon Taylor
[m-dev.] Re: ODBC interface Fergus Henderson
[m-dev.] Re: ODBC interface Fergus Henderson
[m-dev.] Re: ODBC interface Simon Taylor
[m-dev.] Re: ODBC interface Thomas Charles CONWAY
[m-dev.] Re: ODBC interface David Glen JEFFERY
ODBC interface Simon Taylor
[m-dev.] ODBC interface Fergus Henderson
ODBC interface & nested transactions Fergus Henderson
[m-dev.] ODBC interface & nested transactions Simon Taylor
problem with value numbering & floating point Fergus Henderson
[m-dev.] problem with value numbering & floating point Zoltan Somogyi
[m-dev.] problem with value numbering & floating point Fergus Henderson
proposal: user-defined equality predicates Andrew Bromage
[m-dev.] Re: proposal: user-defined equality predicates Fergus Henderson
proposed addition to the web page Zoltan Somogyi
release 0.7 almost ready Fergus Henderson
[m-dev.] release 0.7 almost ready Tyson Richard DOWD
[m-dev.] release 0.7 almost ready Fergus Henderson
support for non-canonical types (user-defined equality preds) Fergus Henderson
[m-dev.] support for non-canonical types (user-defined equality preds) Zoltan Somogyi
Termination analyser? Michael David WINIKOFF
[m-dev.] Termination analyser? Tyson Richard DOWD
zero-arity higher-order function terms and apply/1 Fergus Henderson
[m-dev.] Re: zero-arity higher-order function terms and apply/1 Andrew Bromage
[m-dev.] Re: zero-arity higher-order function terms and apply/1 Thomas Charles CONWAY
zero-arity higher-order function terms and apply/1 Fergus Henderson
[m-dev.] Re: zero-arity higher-order function terms and apply/1 Tyson Richard DOWD
[m-dev.] Re: zero-arity higher-order function terms and apply/1 Fergus Henderson

Last message date: Thu Jul 31 12:04:50 AEST 1997
Archived on: Wed Mar 23 20:45:09 AEDT 2016

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

This archive was generated by Pipermail 0.09 (Mailman edition).