The Mercury Project
mercury-developers Aug 2004 By Thread

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Starting: Sun Aug 01 2004 - 15:12:18 EST
Ending: Tue Aug 31 2004 - 17:31:07 EST

• [m-dev.] arrays Ian MacLarty (Sun Aug 01 2004 - 15:14:05 EST)
  • Re: [m-dev.] arrays Ralph Becket (Sun Aug 01 2004 - 22:51:24 EST)
• Re: [m-dev.] For review: documentation for solver types Peter Moulder (Sun Aug 01 2004 - 18:22:25 EST)
• [m-dev.] compare representation Ian MacLarty (Mon Aug 02 2004 - 12:36:33 EST)
  • Re: [m-dev.] compare representation Fergus Henderson (Mon Aug 02 2004 - 12:48:11 EST)
    • Re: [m-dev.] compare representation Ian MacLarty (Mon Aug 02 2004 - 13:19:25 EST)
• [m-dev.] Mercury 0.11.1-beta-2004-6-30 on OS X Gregory Wright (Fri Aug 06 2004 - 00:29:57 EST)
  • Re: [m-dev.] Mercury 0.11.1-beta-2004-6-30 on OS X Peter Ross (Fri Aug 06 2004 - 05:06:07 EST)
    • Re: [m-dev.] Mercury 0.11.1-beta-2004-6-30 on OS X Fergus Henderson (Fri Aug 06 2004 - 14:21:41 EST)
• [m-dev.] Re: [mercury-users] Determinism Ralph Becket (Tue Aug 10 2004 - 10:32:39 EST)
• [m-dev.] Automatic regression test summaries Ralph Becket (Tue Aug 10 2004 - 13:03:29 EST)
  • Re: [m-dev.] Automatic regression test summaries Fergus Henderson (Thu Aug 19 2004 - 20:04:47 EST)
• [m-dev.] Impurity syntax Ralph Becket (Fri Aug 13 2004 - 16:10:27 EST)
  • Re: [m-dev.] Impurity syntax Zoltan Somogyi (Fri Aug 13 2004 - 17:27:50 EST)
    • Re: [m-dev.] Impurity syntax Ralph Becket (Mon Aug 16 2004 - 11:12:46 EST)
    • Re: [m-dev.] Impurity syntax Fergus Henderson (Thu Aug 19 2004 - 20:10:13 EST)
• [m-dev.] current status of the high-level C grades Julien Fischer (Mon Aug 16 2004 - 19:26:08 EST)
  • Re: [m-dev.] current status of the high-level C grades Julien Fischer (Tue Aug 17 2004 - 18:22:40 EST)
    • Re: [m-dev.] current status of the high-level C grades Fergus Henderson (Thu Aug 19 2004 - 20:23:06 EST)
      • Re: [m-dev.] current status of the high-level C grades Julien Fischer (Sat Aug 21 2004 - 17:50:24 EST)
  • Re: [m-dev.] current status of the high-level C grades Julien Fischer (Wed Aug 18 2004 - 16:59:25 EST)
  • Re: [m-dev.] current status of the high-level C grades Fergus Henderson (Thu Aug 19 2004 - 20:20:07 EST)
• [m-dev.] Summary of resources/solvers meeting 23/8/04 Ralph Becket (Tue Aug 24 2004 - 14:39:33 EST)
• [m-dev.] Looks handy Ralph Becket (Tue Aug 24 2004 - 15:29:41 EST)
• [m-dev.] Re: [HAL-dev] Summary of resources/solvers meeting 23/8/04 Ralph Becket (Tue Aug 24 2004 - 15:26:35 EST)
• [m-dev.] proposal Peter Schachte (Fri Aug 27 2004 - 13:41:34 EST)
• [m-dev.] New HLDS scoping proposal Ralph Becket (Tue Aug 31 2004 - 17:31:06 EST)

Last message date: Tue Aug 31 2004 - 17:31:07 EST
Archived on: Wed Sep 01 2004 - 00:40:03 EST