The Mercury Project
mercury-developers Feb 2004 By Thread

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Starting: Tue Feb 03 2004 - 15:09:58 EST
Ending: Fri Feb 27 2004 - 15:26:24 EST

• [m-dev.] bugs? Peter Schachte (Tue Feb 03 2004 - 15:09:57 EST)
  • Re: [m-dev.] bugs? Julien Fischer (Tue Feb 03 2004 - 16:06:55 EST)
    • Re: [m-dev.] bugs? Fergus Henderson (Wed Feb 04 2004 - 21:41:17 EST)
• [m-dev.] Quick solver types question Ralph Becket (Wed Feb 04 2004 - 17:07:51 EST)
  • Re: [m-dev.] Quick solver types question David Overton (Wed Feb 04 2004 - 19:33:08 EST)
• [m-dev.] Question about WAM style variables in Mercury Ralph Becket (Thu Feb 05 2004 - 12:29:10 EST)
  • Re: [m-dev.] Question about WAM style variables in Mercury Fergus Henderson (Thu Feb 05 2004 - 14:00:55 EST)
    • Re: [m-dev.] Question about WAM style variables in Mercury Ralph Becket (Thu Feb 05 2004 - 14:39:01 EST)
      • Re: [m-dev.] Question about WAM style variables in Mercury Fergus Henderson (Thu Feb 05 2004 - 15:17:36 EST)
• [m-dev.] Re: [HAL-dev] Adding Herbrand types to Mercury Maria Garcia de la Banda (Wed Jan 28 2004 - 15:07:39 EST)
• [m-dev.] Mmake unnecessary recompilation bug Fergus Henderson (Sat Feb 07 2004 - 17:12:02 EST)
  • Re: [m-dev.] Mmake unnecessary recompilation bug Simon Taylor (Sat Feb 07 2004 - 19:58:36 EST)
    • Re: [m-dev.] Mmake unnecessary recompilation bug Fergus Henderson (Sat Feb 07 2004 - 23:40:36 EST)
• [m-dev.] Re: [mercury-users] Mercury 0.11.0 RPMs Ralph Becket (Mon Feb 09 2004 - 10:49:13 EST)
  • Re: [m-dev.] Re: [mercury-users] Mercury 0.11.0 RPMs Ralph Becket (Mon Feb 09 2004 - 11:14:59 EST)
  • Re: [m-dev.] Re: [mercury-users] Mercury 0.11.0 RPMs Fergus Henderson (Mon Feb 09 2004 - 13:15:25 EST)
• [m-dev.] more unnecessary recompilation problems Fergus Henderson (Tue Feb 10 2004 - 16:42:29 EST)
  • Re: [m-dev.] more unnecessary recompilation problems Simon Taylor (Tue Feb 10 2004 - 18:27:14 EST)
• [m-dev.] bug with typeclass methods and .opt files Julien Fischer (Tue Feb 10 2004 - 17:25:20 EST)
  • Re: [m-dev.] bug with typeclass methods and .opt files Simon Taylor (Tue Feb 10 2004 - 18:22:55 EST)
  • Re: [m-dev.] bug with typeclass methods and .opt files Fergus Henderson (Tue Feb 10 2004 - 20:23:56 EST)
• [m-dev.] ilc grade Fergus Henderson (Wed Feb 11 2004 - 00:24:50 EST)
  • [m-dev.] Re: ilc grade Peter Ross (Wed Feb 11 2004 - 01:23:58 EST)
• [m-dev.] Can't run configure on ceres Ralph Becket (Wed Feb 11 2004 - 11:00:21 EST)
  • Re: [m-dev.] Can't run configure on ceres Fergus Henderson (Wed Feb 11 2004 - 11:44:29 EST)
• [m-dev.] Updated version hash table benchmarks Ralph Becket (Wed Feb 11 2004 - 11:27:51 EST)
  • Re: [m-dev.] Updated version hash table benchmarks Fergus Henderson (Wed Feb 11 2004 - 18:58:06 EST)
• [m-dev.] Re: Mercury 0.11.0 418 failed tests Fergus Henderson (Wed Feb 11 2004 - 18:52:58 EST)
• [m-dev.] Solver types in Mercury - meeting notes and comments Ralph Becket (Thu Feb 12 2004 - 17:28:44 EST)
  • Re: [m-dev.] Solver types in Mercury - meeting notes and comments Fergus Henderson (Thu Feb 12 2004 - 18:31:29 EST)
    • Re: [m-dev.] Solver types in Mercury - meeting notes and comments Ralph Becket (Fri Feb 13 2004 - 00:02:26 EST)
    • Re: [m-dev.] Solver types in Mercury - meeting notes and comments Ralph Becket (Fri Feb 13 2004 - 09:36:21 EST)
      • Re: [m-dev.] Solver types in Mercury - meeting notes and comments Fergus Henderson (Fri Feb 13 2004 - 12:19:45 EST)
      • Re: [HAL-dev] Re: [m-dev.] Solver types in Mercury - meeting notes and comments Ralph Becket (Fri Feb 13 2004 - 15:56:55 EST)
      • Re: [HAL-dev] Re: [m-dev.] Solver types in Mercury - meeting notes and comments Fergus Henderson (Fri Feb 13 2004 - 18:05:14 EST)
      • Re: [HAL-dev] Re: [m-dev.] Solver types in Mercury - meeting notes and comments Ralph Becket (Mon Feb 16 2004 - 08:47:05 EST)
      • Re: [HAL-dev] Re: [m-dev.] Solver types in Mercury - meeting notes and comments Fergus Henderson (Mon Feb 16 2004 - 10:43:29 EST)
      • Re: [HAL-dev] Re: [m-dev.] Solver types in Mercury - meeting notes and comments Zoltan Somogyi (Mon Feb 16 2004 - 13:21:50 EST)
      • Re: [HAL-dev] Re: [m-dev.] Solver types in Mercury - meeting notes and comments Fergus Henderson (Mon Feb 16 2004 - 14:00:00 EST)
• [m-dev.] Java naming issues James Goddard (Mon Feb 16 2004 - 12:46:04 EST)
  • [m-dev.] Re: Java naming issues Fergus Henderson (Mon Feb 16 2004 - 13:13:58 EST)
• [m-dev.] Solver types reloaded Ralph Becket (Mon Feb 16 2004 - 18:51:33 EST)
• [m-dev.] Re: [HAL-dev] Solver types reloaded Ralph Becket (Tue Feb 17 2004 - 12:59:41 EST)
• [m-dev.] Re: [HAL-dev] Solver types reloaded Ralph Becket (Fri Feb 20 2004 - 17:51:27 EST)
  • Re: [m-dev.] Re: [HAL-dev] Solver types reloaded Fergus Henderson (Fri Feb 20 2004 - 18:17:59 EST)
• [m-dev.] Problem with apt-get on ceres Ralph Becket (Wed Feb 25 2004 - 09:46:53 EST)
  • Re: [m-dev.] Problem with apt-get on ceres Fergus Henderson (Wed Feb 25 2004 - 14:38:35 EST)
    • Re: [m-dev.] Problem with apt-get on ceres Ralph Becket (Wed Feb 25 2004 - 14:52:13 EST)
• [m-dev.] subversion 1.0 installed on ceres Ralph Becket (Wed Feb 25 2004 - 17:35:37 EST)
  • Re: [m-dev.] subversion 1.0 installed on ceres Zoltan Somogyi (Fri Feb 27 2004 - 15:26:23 EST)
• [m-dev.] Summary of solver types discussion in today's meeting Ralph Becket (Thu Feb 26 2004 - 16:08:20 EST)
• [m-dev.] Memoed functions and GC Ralph Becket (Fri Feb 27 2004 - 11:59:24 EST)
  • Re: [m-dev.] Memoed functions and GC Zoltan Somogyi (Fri Feb 27 2004 - 13:47:22 EST)

Last message date: Fri Feb 27 2004 - 15:26:24 EST
Archived on: Mon Mar 01 2004 - 00:40:04 EST