The Mercury Project
mercury-developers Jan 2007 By Thread

Home

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Most recent messages
111 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives

Starting: Wed Jan 03 2007 - 10:29:37 EST
Ending: Wed Jan 31 2007 - 14:36:11 EST

[m-dev.] io.write_univ has disappeared Ralph Becket (Wed Jan 03 2007 - 10:29:32 EST)
- Re: [m-dev.] io.write_univ has disappeared Simon Taylor (Wed Jan 03 2007 - 12:18:08 EST)
Re: [m-dev.] lco and --high-level-data Zoltan Somogyi (Wed Jan 03 2007 - 15:40:51 EST)
[m-dev.] conflicting instance bug Peter Ross (Mon Jan 08 2007 - 18:01:56 EST)
Re: [m-dev.] User-controlled pretty-printing Ian MacLarty (Wed Jan 10 2007 - 13:29:42 EST)
- Re: [m-dev.] User-controlled pretty-printing Julien Fischer (Wed Jan 10 2007 - 13:42:06 EST)
  - Re: [m-dev.] User-controlled pretty-printing Ian MacLarty (Wed Jan 10 2007 - 14:52:37 EST)
[m-dev.] syntactic suggar suggestion for state variables Ondrej Bojar (Fri Jan 12 2007 - 12:33:16 EST)
- Re: [m-dev.] syntactic suggar suggestion for state variables Ralph Becket (Fri Jan 12 2007 - 12:47:51 EST)
  - Re: [m-dev.] syntactic suggar suggestion for state variables Ondrej Bojar (Fri Jan 12 2007 - 13:16:06 EST)
[m-dev.] And yet another, tuples of state variables. Ondrej Bojar (Fri Jan 12 2007 - 12:39:29 EST)
- Re: [m-dev.] And yet another, tuples of state variables. Ralph Becket (Fri Jan 12 2007 - 12:49:37 EST)
- Re: [m-dev.] And yet another, tuples of state variables. Julien Fischer (Fri Jan 12 2007 - 14:41:32 EST)
  - Re: [m-dev.] And yet another, tuples of state variables. Ondrej Bojar (Fri Jan 12 2007 - 15:00:34 EST)
    - Re: [m-dev.] And yet another, tuples of state variables. Julien Fischer (Fri Jan 12 2007 - 23:03:53 EST)
[m-dev.] Implicit quantification Ben Schmidt (Sun Jan 14 2007 - 23:46:56 EST)
- Re: [m-dev.] Implicit quantification Mark Brown (Mon Jan 15 2007 - 13:41:23 EST)
  - Re: [m-dev.] Implicit quantification Ben Schmidt (Mon Jan 15 2007 - 16:03:11 EST)
- Re: [m-dev.] Implicit quantification Zoltan Somogyi (Mon Jan 15 2007 - 13:44:30 EST)
  - Re: [m-dev.] Implicit quantification Peter Schachte (Mon Jan 15 2007 - 14:00:21 EST)
  - Re: [m-dev.] Implicit quantification Mark Brown (Mon Jan 15 2007 - 14:02:07 EST)
[m-dev.] ground >> dead Ian MacLarty (Mon Jan 15 2007 - 11:14:48 EST)
- Re: [m-dev.] ground >> dead Julien Fischer (Mon Jan 15 2007 - 21:47:41 EST)
  - Re: [m-dev.] ground >> dead Mark Brown (Mon Jan 15 2007 - 22:32:12 EST)
[m-dev.] Patch: Tcl/Tk interface without '%' prompt Jörg Roman Rudnick (Mon Jan 15 2007 - 11:36:58 EST)
- Re: [m-dev.] Patch: Tcl/Tk interface without '%' prompt Julien Fischer (Tue Jan 16 2007 - 21:48:57 EST)
  - Re: [m-dev.] Patch: Tcl/Tk interface without '%' prompt JÃ¶rg Roman Rudnick (Wed Jan 17 2007 - 10:01:56 EST)
  - Re: [m-dev.] Patch: Tcl/Tk interface without '%' prompt Jörg Roman Rudnick (Wed Jan 17 2007 - 17:48:16 EST)
[m-dev.] moving spawn/3 and friends into stdlib Julien Fischer (Mon Jan 15 2007 - 15:59:39 EST)
[m-dev.] synthesized user event attributes Mark Brown (Wed Jan 17 2007 - 16:34:11 EST)
[m-dev.] Fw: Re: Impurity annotations on clauses Ralph Becket (Fri Jan 19 2007 - 11:20:27 EST)
- Re: [m-dev.] Fw: Re: Impurity annotations on clauses Peter Schachte (Fri Jan 19 2007 - 13:19:27 EST)
  - Re: [m-dev.] Fw: Re: Impurity annotations on clauses Mark Brown (Mon Jan 22 2007 - 03:09:00 EST)
- Re: [m-dev.] Fw: Re: Impurity annotations on clauses Julien Fischer (Fri Jan 19 2007 - 15:08:22 EST)
[m-dev.] Status of the IL backend Jonathan Morgan (Mon Jan 22 2007 - 22:37:03 EST)
- Re: [m-dev.] Status of the IL backend Julien Fischer (Mon Jan 22 2007 - 23:47:53 EST)
[m-dev.] cc_multi determinisms for IO state preds Ian MacLarty (Tue Jan 23 2007 - 12:26:27 EST)
[m-dev.] include in Mercury.options Julien Fischer (Thu Jan 25 2007 - 15:13:31 EST)
- Re: [m-dev.] include in Mercury.options Simon Taylor (Fri Jan 26 2007 - 11:26:11 EST)
[m-dev.] Reopened: state vars syntax sugar Ondrej Bojar (Mon Jan 29 2007 - 12:13:41 EST)
- Re: [m-dev.] Reopened: state vars syntax sugar Julien Fischer (Mon Jan 29 2007 - 12:27:23 EST)
  - Re: [m-dev.] Reopened: state vars syntax sugar Ondrej Bojar (Mon Jan 29 2007 - 12:58:55 EST)
  - Re: [m-dev.] Reopened: state vars syntax sugar Peter Schachte (Mon Jan 29 2007 - 15:13:12 EST)
    - Re: [m-dev.] Reopened: state vars syntax sugar Jonathan Morgan (Mon Jan 29 2007 - 23:32:58 EST)

Last message date: Wed Jan 31 2007 - 14:36:11 EST
Archived on: Thu Feb 01 2007 - 00:40:07 EST

111 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives
This mail archive was generated by hypermail 2.1.3 on Thu Feb 01 2007 - 00:40:07 EST.

The Mercury Project mercury-developers Jan 2007 By Thread

The Mercury Project
mercury-developers Jan 2007 By Thread