The Mercury Project
mercury-users Jul 2006 By Thread

Home

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

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

Starting: Sat Jul 01 2006 - 05:25:15 EST
Ending: Mon Jul 31 2006 - 14:54:24 EST

[mercury-users] Amazing and chEap OnlinE pharm@cy.info Emory (Sat Jul 01 2006 - 06:38:26 EST)
[mercury-users] replace_in_goal_expr compiler exception Peter Hawkins (Sat Jul 01 2006 - 10:18:23 EST)
[mercury-users] hlc.agc for 0.13.0-beta-2006-06-29 Nicolas Pelletier (Sat Jul 01 2006 - 20:04:43 EST)
- Re: [mercury-users] hlc.agc for 0.13.0-beta-2006-06-29 Julien Fischer (Sun Jul 02 2006 - 16:17:32 EST)
  - Re: [mercury-users] hlc.agc for 0.13.0-beta-2006-06-29 Nicolas Pelletier (Mon Jul 03 2006 - 04:22:47 EST)
[mercury-users] Field updates and state variables Peter Hawkins (Mon Jul 03 2006 - 05:28:06 EST)
- Re: [mercury-users] Field updates and state variables Peter Schachte (Mon Jul 03 2006 - 12:26:08 EST)
  - Re: [mercury-users] Field updates and state variables Peter Hawkins (Mon Jul 03 2006 - 13:09:35 EST)
  - Re: [mercury-users] Field updates and state variables Julien Fischer (Mon Jul 03 2006 - 15:39:54 EST)
Re: [mercury-users] build 0.13 fails on MSYS Jonathan Morgan (Mon Jul 03 2006 - 21:06:57 EST)
- Re: [mercury-users] build 0.13 fails on MSYS Julien Fischer (Tue Jul 04 2006 - 00:46:00 EST)
[mercury-users] Mmake warnings with mercury 0.13.0-beta-2006-06-29 Nicolas Pelletier (Mon Jul 03 2006 - 22:44:44 EST)
- Re: [mercury-users] Mmake warnings with mercury 0.13.0-beta-2006-06-29 Julien Fischer (Tue Jul 04 2006 - 01:16:10 EST)
  - Re: [mercury-users] Mmake warnings with mercury 0.13.0-beta-2006-06-29 Nicolas Pelletier (Tue Jul 04 2006 - 02:50:56 EST)
[mercury-users] Request for comments on this code Nicolas Pelletier (Mon Jul 03 2006 - 22:57:53 EST)
- Re: [mercury-users] Request for comments on this code Ralph Becket (Tue Jul 04 2006 - 10:44:36 EST)
  - Re: [mercury-users] Request for comments on this code Nicolas Pelletier (Wed Jul 05 2006 - 03:58:56 EST)
- Re: [mercury-users] Request for comments on this code Peter Moulder (Sun Jul 09 2006 - 15:12:49 EST)
  - Re: [mercury-users] Request for comments on this code Nicolas Pelletier (Mon Jul 10 2006 - 03:13:36 EST)
  - Re: [mercury-users] Request for comments on this code Mark Brown (Sun Jul 09 2006 - 17:13:41 EST)
[mercury-users] A suggestion for a tutorial Nicolas Pelletier (Mon Jul 03 2006 - 23:13:35 EST)
- Re: [mercury-users] A suggestion for a tutorial Peter Schachte (Tue Jul 04 2006 - 10:07:16 EST)
  - Re: [mercury-users] A suggestion for a tutorial Peter Schachte (Tue Jul 04 2006 - 10:20:46 EST)
    - Re: [mercury-users] A suggestion for a tutorial Nicolas Pelletier (Wed Jul 05 2006 - 04:07:51 EST)
[mercury-users] pragma memo and failure determinism Peter Hawkins (Tue Jul 04 2006 - 03:45:15 EST)
- Re: [mercury-users] pragma memo and failure determinism Julien Fischer (Tue Jul 04 2006 - 21:37:11 EST)
  - Re: [mercury-users] pragma memo and failure determinism Peter Hawkins (Wed Jul 05 2006 - 01:41:57 EST)
    - Re: [mercury-users] pragma memo and failure determinism Julien Fischer (Wed Jul 05 2006 - 18:19:44 EST)
    - Re: [mercury-users] pragma memo and failure determinism Peter Hawkins (Fri Jul 07 2006 - 10:23:00 EST)
  - Re: [mercury-users] pragma memo and failure determinism Peter Schachte (Fri Jul 07 2006 - 10:54:49 EST)
    - Re: [mercury-users] pragma memo and failure determinism Peter Hawkins (Fri Jul 07 2006 - 11:55:38 EST)
    - Re: [mercury-users] pragma memo and failure determinism Zoltan Somogyi (Fri Jul 07 2006 - 14:36:31 EST)
[mercury-users] Mode checking bug Peter Hawkins (Tue Jul 04 2006 - 06:06:17 EST)
[mercury-users] gcc versions Michael Day (Mon Jul 03 2006 - 18:38:29 EST)
- Re: [mercury-users] gcc versions valery@freesurf.fr (Tue Jul 04 2006 - 19:16:41 EST)
- Re: [mercury-users] gcc versions Julien Fischer (Tue Jul 04 2006 - 18:31:09 EST)
  - Re: [mercury-users] gcc versions Peter Hawkins (Wed Jul 05 2006 - 01:37:42 EST)
    - Re: [mercury-users] gcc versions Julien Fischer (Wed Jul 05 2006 - 02:53:00 EST)
    - Re: [mercury-users] gcc versions Peter Hawkins (Fri Jul 07 2006 - 13:14:14 EST)
[mercury-users] Debugging minimal model tabling problems Peter Hawkins (Fri Jul 07 2006 - 14:40:34 EST)
[mercury-users] solver (tiny) example flounders? doug.auclair@logicaltypes.com (Sat Jul 08 2006 - 06:24:01 EST)
- Re: [mercury-users] solver (tiny) example flounders? Fergus Henderson (Fri Jul 21 2006 - 09:28:28 EST)
[mercury-users] Bit-fields in Mercury Jonathan Morgan (Sat Jul 08 2006 - 20:43:26 EST)
- Re: [mercury-users] Bit-fields in Mercury Michael Day (Sun Jul 09 2006 - 14:25:27 EST)
  - Re: [mercury-users] Bit-fields in Mercury Jonathan Morgan (Mon Jul 10 2006 - 22:19:48 EST)
- Re: [mercury-users] Bit-fields in Mercury Peter Moulder (Sun Jul 09 2006 - 14:22:24 EST)
[mercury-users] Profiling under Msys Val�ry Croizier (Wed Jul 12 2006 - 04:42:16 EST)
[mercury-users] ICFP 2006 Ralph Becket (Wed Jul 12 2006 - 11:11:28 EST)
- Re: [mercury-users] ICFP 2006 Ralph Becket (Thu Jul 20 2006 - 12:20:53 EST)
[mercury-users] Tabling brokenness Peter Hawkins (Tue Jul 18 2006 - 03:19:33 EST)
[mercury-users] Field updates and state variables (more) Nicholas Nethercote (Wed Jul 19 2006 - 01:12:38 EST)
- Re: [mercury-users] Field updates and state variables (more) Peter Schachte (Wed Jul 19 2006 - 10:29:04 EST)
  - Re: [mercury-users] Field updates and state variables (more) Nicholas Nethercote (Wed Jul 19 2006 - 12:18:06 EST)
    - Re: [mercury-users] Field updates and state variables (more) Ralph Becket (Wed Jul 19 2006 - 12:22:58 EST)
[mercury-users] Add rtree docs to ROTD libman? doug.auclair@logicaltypes.com (Wed Jul 19 2006 - 06:48:23 EST)
- Re: [mercury-users] Add rtree docs to ROTD libman? Julien Fischer (Wed Jul 19 2006 - 12:42:05 EST)
- Re: [mercury-users] Add rtree docs to ROTD libman? doug.auclair@logicaltypes.com (Thu Jul 20 2006 - 00:38:03 EST)
  - Re: [mercury-users] Add rtree docs to ROTD libman? Julien Fischer (Thu Jul 20 2006 - 01:00:39 EST)
[mercury-users] Module dependency graphs Nicholas Nethercote (Thu Jul 20 2006 - 00:53:41 EST)
- Re: [mercury-users] Module dependency graphs Julien Fischer (Thu Jul 20 2006 - 00:58:36 EST)
  - Re: [mercury-users] Module dependency graphs Nicholas Nethercote (Thu Jul 20 2006 - 09:12:33 EST)
- Re: [mercury-users] Module dependency graphs doug.auclair@logicaltypes.com (Thu Jul 20 2006 - 04:28:58 EST)
[mercury-users] functions vs predicates (was Re: State variable problem Peter Moulder (Fri Jul 21 2006 - 23:23:06 EST)
[mercury-users] Inconsistency of fields and functions Michael Day (Mon Jul 24 2006 - 11:28:22 EST)
[mercury-users] Working with exported types Jonathan Morgan (Thu Jul 27 2006 - 15:14:40 EST)
- Re: [mercury-users] Working with exported types Peter Schachte (Thu Jul 27 2006 - 15:37:59 EST)
  - Re: [mercury-users] Working with exported types Jonathan Morgan (Thu Jul 27 2006 - 16:40:14 EST)
- Re: [mercury-users] Working with exported types Julien Fischer (Thu Jul 27 2006 - 15:48:30 EST)
  - Re: [mercury-users] Working with exported types Ralph Becket (Thu Jul 27 2006 - 15:57:58 EST)
  - Re: [mercury-users] Working with exported types Jonathan Morgan (Thu Jul 27 2006 - 17:02:17 EST)
    - Re: [mercury-users] Working with exported types Julien Fischer (Thu Jul 27 2006 - 17:18:43 EST)
[mercury-users] memo and zero-arity functions Michael Day (Sat Jul 29 2006 - 13:10:11 EST)
- Re: [mercury-users] memo and zero-arity functions Julien Fischer (Sat Jul 29 2006 - 22:16:14 EST)
  - Re: [mercury-users] memo and zero-arity functions Michael Day (Mon Jul 31 2006 - 09:33:27 EST)
- Re: [mercury-users] memo and zero-arity functions Zoltan Somogyi (Mon Jul 31 2006 - 11:14:31 EST)
[mercury-users] Duplication of warnings Jonathan Morgan (Sat Jul 29 2006 - 13:22:58 EST)
- Re: [mercury-users] Duplication of warnings David Overton (Sun Jul 30 2006 - 23:45:13 EST)
Re: [mercury-users] Foreign Language Interfacing [was: Working with exported types] Jonathan Morgan (Sat Jul 29 2006 - 15:53:53 EST)

Last message date: Mon Jul 31 2006 - 14:54:24 EST
Archived on: Tue Aug 01 2006 - 00:40:12 EST

146 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives
This mail archive was generated by hypermail 2.1.3 on Tue Aug 01 2006 - 00:40:12 EST.

The Mercury Project mercury-users Jul 2006 By Thread

The Mercury Project
mercury-users Jul 2006 By Thread