The Mercury Project
mercury-users Feb 03 By Thread

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Starting: Sat Feb 01 2003 - 05:01:22 EST
Ending: Fri Feb 28 2003 - 11:26:30 EST

• [mercury-users] A source-to-source translator Bill McEnaney (Sat Feb 01 2003 - 05:01:08 EST)
  • Re: [mercury-users] A source-to-source translator Fergus Henderson (Sat Feb 01 2003 - 12:38:11 EST)
• [mercury-users] build error (CLR: not found) Wendelin Reich (Sun Feb 02 2003 - 20:02:52 EST)
  • Re: [mercury-users] build error (CLR: not found) Fergus Henderson (Mon Feb 03 2003 - 01:02:49 EST)
  • Re: [mercury-users] build error (CLR: not found) Fergus Henderson (Mon Feb 03 2003 - 13:48:20 EST)
    • RE: [mercury-users] build error (CLR: not found) Wendelin Reich (Tue Feb 04 2003 - 06:54:24 EST)
      • Re: [mercury-users] build error (CLR: not found) Fergus Henderson (Tue Feb 04 2003 - 12:28:33 EST)
• [mercury-users] importing a text file of email addresses for a mercury mailing list Joseph Scuralli (Tue Feb 04 2003 - 05:47:23 EST)
• [mercury-users] apology Joseph Scuralli (Tue Feb 04 2003 - 08:54:59 EST)
• [mercury-users] Many data elements using Mercury on cygwin? Douglas Auclair (Thu Feb 06 2003 - 04:02:34 EST)
  • Re: [mercury-users] Many data elements using Mercury on cygwin? Ralph Becket (Thu Feb 06 2003 - 10:28:21 EST)
  • Re: [mercury-users] Many data elements using Mercury on cygwin? Fergus Henderson (Thu Feb 06 2003 - 17:45:39 EST)
• [mercury-users] Using existential quantification? Douglas Auclair (Thu Feb 06 2003 - 08:54:11 EST)
  • Re: [mercury-users] Using existential quantification? David Overton (Thu Feb 06 2003 - 11:16:30 EST)
  • Re: [mercury-users] Using existential quantification? Peter Moulder (Thu Feb 06 2003 - 21:56:23 EST)
    • Re: [mercury-users] Using existential quantification? Fergus Henderson (Fri Feb 07 2003 - 01:39:10 EST)
• [mercury-users] Semantics of 'new' Douglas Auclair (Thu Feb 06 2003 - 09:15:49 EST)
  • Re: [mercury-users] Semantics of 'new' David Overton (Thu Feb 06 2003 - 10:24:58 EST)
  • Re: [mercury-users] Semantics of 'new' Ralph Becket (Thu Feb 06 2003 - 10:33:14 EST)
• [mercury-users] read_line and lex (was: Many data elements using Mercury on cygwin?) Douglas Auclair (Fri Feb 07 2003 - 03:58:02 EST)
  • Re: [mercury-users] read_line and lex (was: Many data elements using Mercury on cygwin?) Simon Taylor (Fri Feb 07 2003 - 09:31:59 EST)
  • Re: [mercury-users] read_line and lex (was: Many data elements using Mercury on cygwin?) Ralph Becket (Fri Feb 07 2003 - 09:51:08 EST)
    • [mercury-users] Mercury book Wendelin Reich (Sat Feb 08 2003 - 04:17:47 EST)
• [mercury-users] Re: GC and tail calls (was: Many data elements using Mercury on Cygwin?) Douglas Auclair (Fri Feb 07 2003 - 03:44:32 EST)
  • Re: [mercury-users] Re: GC and tail calls (was: Many data elements using Mercury on Cygwin?) Fergus Henderson (Fri Feb 07 2003 - 16:37:28 EST)
  • Re: [mercury-users] Re: GC and tail calls (was: Many data elements using Mercury on Cygwin?) Fergus Henderson (Fri Feb 07 2003 - 16:53:49 EST)
• [mercury-users] Wow! It worked on Mingw [was: Many data elements...] Douglas Auclair (Mon Feb 10 2003 - 09:43:12 EST)
  • Re: [mercury-users] Wow! It worked on Mingw [was: Many data elements...] Fergus Henderson (Mon Feb 10 2003 - 17:42:49 EST)
• [mercury-users] Make, environment and linking in cygwin1.dll [was: Wow! It worked on Mingw] Douglas Auclair (Tue Feb 11 2003 - 08:49:34 EST)
  • Re: [mercury-users] Make, environment and linking in cygwin1.dll [was: Wow! It worked on Mingw] Ralph Becket (Tue Feb 11 2003 - 09:42:27 EST)
    • Re: [mercury-users] Make, environment and linking in cygwin1.dll [was: Wow! It worked on Mingw] Fergus Henderson (Tue Feb 11 2003 - 16:16:27 EST)
  • Re: [mercury-users] Make, environment and linking in cygwin1.dll [was: Wow! It worked on Mingw] Fergus Henderson (Tue Feb 11 2003 - 15:53:54 EST)
• [mercury-users] Types as sets? Douglas Auclair (Tue Feb 11 2003 - 11:42:46 EST)
  • Re: [mercury-users] Types as sets? Fergus Henderson (Tue Feb 11 2003 - 16:47:54 EST)
• Re: [mercury-users] Types as sets? Richard A. O'Keefe (Tue Feb 11 2003 - 13:52:01 EST)
• [mercury-users] inst syntax? [was: Types as sets?] Douglas Auclair (Wed Feb 12 2003 - 07:36:58 EST)
  • Re: [mercury-users] inst syntax? [was: Types as sets?] Ralph Becket (Wed Feb 12 2003 - 10:43:15 EST)
• [mercury-users] Cross-compiling with mingw32 Michael Day (Thu Feb 13 2003 - 20:35:28 EST)
  • Re: [mercury-users] Cross-compiling with mingw32 Fergus Henderson (Thu Feb 13 2003 - 22:30:28 EST)
    • Re: [mercury-users] Cross-compiling with mingw32 Michael Day (Fri Feb 14 2003 - 11:08:37 EST)
      • Re: [mercury-users] Cross-compiling with mingw32 Michael Day (Fri Feb 14 2003 - 13:16:54 EST)
      • Re: [mercury-users] Cross-compiling with mingw32 Michael Day (Fri Feb 14 2003 - 13:22:20 EST)
      • Re: [mercury-users] Cross-compiling with mingw32 Michael Day (Fri Feb 14 2003 - 13:40:52 EST)
• Re: [mercury-users] intermodule optimisation very flaky Fergus Henderson (Mon Feb 17 2003 - 23:26:14 EST)
• [mercury-users] : for type qualifier Michael Day (Wed Feb 19 2003 - 16:33:21 EST)
  • Re: [mercury-users] : for type qualifier Ralph Becket (Wed Feb 19 2003 - 16:33:01 EST)
    • Re: [mercury-users] : for type qualifier Michael Day (Wed Feb 19 2003 - 17:21:13 EST)
      • Re: [mercury-users] : for type qualifier Ralph Becket (Wed Feb 19 2003 - 17:22:57 EST)
      • Re: [mercury-users] : for type qualifier David Overton (Wed Feb 19 2003 - 18:49:32 EST)
      • Re: [mercury-users] : for type qualifier Michael Day (Wed Feb 19 2003 - 19:56:37 EST)
• [mercury-users] "You meant" search software? Douglas Auclair (Thu Feb 20 2003 - 09:20:56 EST)
  • Re: [mercury-users] "You meant" search software? Richard Hagen (Thu Feb 20 2003 - 15:41:02 EST)
• [mercury-users] ... Still compiling fact module ... is assoc-list access fast? Douglas Auclair (Thu Feb 20 2003 - 08:05:48 EST)
  • Re: [mercury-users] ... Still compiling fact module ... is assoc-list access fast? Fergus Henderson (Thu Feb 20 2003 - 17:46:20 EST)
• [mercury-users] foreign_code Michael Day (Fri Feb 21 2003 - 10:33:29 EST)
  • Re: [mercury-users] foreign_code Simon Taylor (Fri Feb 21 2003 - 11:03:03 EST)
    • Re: [mercury-users] foreign_code Michael Day (Fri Feb 21 2003 - 11:31:59 EST)
      • Re: [mercury-users] foreign_code Simon Taylor (Fri Feb 21 2003 - 19:05:34 EST)
  • Re: [mercury-users] foreign_code Fergus Henderson (Fri Feb 21 2003 - 11:10:43 EST)
• [mercury-users] Mercury for prosthetic limb control Fergus Henderson (Sat Feb 22 2003 - 09:04:29 EST)
• [mercury-users] Getting all facts of a predicate [was: Still compiling ...] Douglas Auclair (Sun Feb 23 2003 - 13:07:10 EST)
  • Re: [mercury-users] Getting all facts of a predicate [was: Still compiling ...] Fergus Henderson (Sun Feb 23 2003 - 13:52:14 EST)
  • Re: [mercury-users] Getting all facts of a predicate [was: Still compiling ...] Ralph Becket (Mon Feb 24 2003 - 10:53:15 EST)
• [mercury-users] getopt Michael Day (Mon Feb 24 2003 - 12:29:43 EST)
  • Re: [mercury-users] getopt Fergus Henderson (Mon Feb 24 2003 - 13:16:58 EST)
    • Re: [mercury-users] getopt Michael Day (Tue Feb 25 2003 - 11:25:20 EST)
      • Re: [mercury-users] getopt Fergus Henderson (Tue Feb 25 2003 - 13:42:24 EST)
      • Re: [mercury-users] getopt Michael Day (Tue Feb 25 2003 - 14:44:36 EST)
• [mercury-users] ambiguous overloading Michael Day (Tue Feb 25 2003 - 17:21:58 EST)
  • Re: [mercury-users] ambiguous overloading Ralph Becket (Tue Feb 25 2003 - 17:17:39 EST)
    • Re: [mercury-users] ambiguous overloading Michael Day (Tue Feb 25 2003 - 18:13:23 EST)
• [mercury-users] SIREG again Michael Day (Wed Feb 26 2003 - 14:37:50 EST)
  • Re: [mercury-users] SIREG again Fergus Henderson (Wed Feb 26 2003 - 15:50:17 EST)
    • Re: [mercury-users] SIREG again Michael Day (Wed Feb 26 2003 - 16:29:36 EST)
• [mercury-users] Stable .net backend? Petter Egesund (Thu Feb 27 2003 - 19:36:04 EST)
  • Re: [mercury-users] Stable .net backend? Peter Ross (Thu Feb 27 2003 - 20:46:07 EST)
  • Re: [mercury-users] Stable .net backend? Fergus Henderson (Thu Feb 27 2003 - 21:03:45 EST)
  • RE: [mercury-users] Stable .net backend? Wendelin Reich (Thu Feb 27 2003 - 20:19:01 EST)
    • [mercury-users] .NET Mercury type representation. Peter Ross (Thu Feb 27 2003 - 23:58:56 EST)
      • RE: [mercury-users] .NET Mercury type representation. Wendelin Reich (Fri Feb 28 2003 - 00:11:17 EST)
• Re: [mercury-users] .NET Mercury type representation. Richard A. O'Keefe (Fri Feb 28 2003 - 11:26:12 EST)

Last message date: Fri Feb 28 2003 - 11:26:30 EST
Archived on: Sat Mar 01 2003 - 00:40:04 EST