Archives of the Caml Mailing list
By Thread
2158 messages sorted by:
[ author ]
[ date ]
[ subject ]
About this archive
Other mail archives
Starting: Mon Jan 06 1997 - 12:06:27 MET
Ending: Sat Jan 01 2000 - 02:32:56 MET
- Support for #line? Steve Stevenson (Fri Dec 31 1999 - 17:15:53 MET)
- Ocaml for Mac Francesco Logozzo (Fri Dec 31 1999 - 01:12:00 MET)
- Re: interfacing ocaml and external structure Xavier Leroy (Thu Dec 23 1999 - 15:31:35 MET)
- parameterized signatures Chris Tilt (Wed Dec 22 1999 - 20:32:25 MET)
- Unison synchronizer (beta release) Benjamin C. Pierce (Tue Dec 21 1999 - 00:49:27 MET)
- LablGTK beta2 and LablGL 0.93 released Jacques Garrigue (Mon Dec 20 1999 - 11:42:38 MET)
- Objective Caml 2.99 released Jacques Garrigue (Fri Dec 17 1999 - 18:50:21 MET)
- appel a participation JFLA2000 dubois@lami.univ-evry.fr (Thu Dec 16 1999 - 11:51:10 MET)
- A common use of try ... with Judicael Courant (Thu Dec 16 1999 - 08:45:07 MET)
- my stupidity and non-tail calls David Brown (Wed Dec 15 1999 - 17:39:36 MET)
- Corba IDL parser and pretty printer Alan Schmitt (Wed Dec 15 1999 - 15:30:59 MET)
- OCaml and tail recursion Norman Ramsey (Mon Dec 13 1999 - 18:27:37 MET)
- Finalisation in 2.02 skaller (Sun Dec 12 1999 - 04:38:03 MET)
- Ask for explanation -- possibly repeated Benoit de Boursetty (Wed Dec 08 1999 - 06:07:15 MET)
- Efuns/GwML release 16 Fabrice Le Fessant (Mon Dec 06 1999 - 10:37:52 MET)
- What will the new syntax be like? (O'Caml + O'Labl) John Prevost (Mon Dec 06 1999 - 04:05:20 MET)
- MySQL module for OCaml Christian Lindig (Sun Dec 05 1999 - 20:13:00 MET)
- Re: Objective Caml 2.03/4 released skaller (Sat Dec 04 1999 - 18:46:36 MET)
- Findfirst / findnext Caml equivalents Manuel Cornes (Fri Dec 03 1999 - 15:34:07 MET)
- Update OCaml 2.02 -> 2.03 -> 2.04 Jean-Marc EBER (Fri Dec 03 1999 - 11:21:02 MET)
- LGPL et fichiers de configuration. Nicolas Ollinger (Tue Nov 30 1999 - 20:32:37 MET)
- Why is this not allowed? Claudio Sacerdoti Coen (Tue Nov 30 1999 - 17:07:52 MET)
- The option -rectypes Gerd Stolpmann (Wed Nov 24 1999 - 01:59:36 MET)
- Enhanced ocaml 2.03 documentation Hendrik Tews (Tue Nov 23 1999 - 18:23:06 MET)
- Camlp4 2.03 Daniel de Rauglaudre (Sat Nov 20 1999 - 12:21:48 MET)
- Objective Caml 2.03 released Xavier Leroy (Fri Nov 19 1999 - 18:30:57 MET)
- Structure de matrice creuse SURLOG S.A. (Fri Nov 19 1999 - 16:33:53 MET)
- What is this? skaller (Tue Nov 16 1999 - 03:00:36 MET)
- Install problem Fabien FLEUTOT (Fri Nov 12 1999 - 20:46:08 MET)
- dynamic loading of Caml bytecode Michael Hicks (Mon Nov 08 1999 - 17:07:23 MET)
- Announce / Annonce Merimee 2.0 Francois Pessaux (Mon Nov 08 1999 - 16:44:12 MET)
- Re: Classes AND Modules? What's the point? Gerd Stolpmann (Mon Nov 08 1999 - 00:31:53 MET)
- Encoding Library (again) John Prevost (Fri Nov 05 1999 - 20:33:09 MET)
- Encodings for O'Caml John Prevost (Fri Nov 05 1999 - 20:28:33 MET)
- LaTeX listings and (o)caml Vincent Poirriez (Fri Nov 05 1999 - 17:04:19 MET)
- VIM-hints Markus Mottl (Wed Nov 03 1999 - 00:12:32 MET)
- ICFP'99 programming contest Xavier Leroy (Tue Nov 02 1999 - 14:41:02 MET)
- [Q] Four micro-questions on objects and modules. Christian RINDERKNECHT (Tue Nov 02 1999 - 14:09:52 MET)
- Classes AND Modules? What's the point? Mark Engelberg (Mon Nov 01 1999 - 10:01:00 MET)
- Problème d'oubli dans un module [A problem with modul Valentin Bonnard (Sat Oct 30 1999 - 04:41:39 MET DST)
- Internationalizing the language Benoit de Boursetty (Fri Oct 29 1999 - 15:14:51 MET DST)
- GC time Hongwei Xi (Fri Oct 29 1999 - 06:21:20 MET DST)
- Go for ultimate localization! Benoit Deboursetty (Tue Oct 26 1999 - 06:36:58 MET DST)
- Typing question Sylvain (Mon Oct 25 1999 - 17:07:58 MET DST)
- Very very short question on objects Christian RINDERKNECHT (Mon Oct 25 1999 - 11:46:16 MET DST)
- How to format a float? skaller (Mon Oct 25 1999 - 02:54:38 MET DST)
- assembly Hongwei Xi (Sun Oct 24 1999 - 21:45:59 MET DST)
- Two small observations William Chesters (Sat Oct 23 1999 - 19:32:14 MET DST)
- Camllist wanted for C-- compiler project Norman Ramsey (Fri Oct 22 1999 - 22:03:25 MET DST)
- About futur of OCAML David Jemmi (Fri Oct 22 1999 - 18:17:11 MET DST)
- module, module type et foncteurs, ... Sven LUTHER (Fri Oct 22 1999 - 16:03:04 MET DST)
- Thoughts on O'Labl O'Caml merge. John Prevost (Fri Oct 15 1999 - 01:59:47 MET DST)
- Rebinding exception declarations Manuel Fahndrich (Wed Oct 13 1999 - 18:59:50 MET DST)
- OCaml machine (was: Re: speed versus C) Juergen Pfitzenmaier (Wed Oct 13 1999 - 15:44:56 MET DST)
- ECAI2000 WORKSHOP PROPOSALS cordier marie-odile (Tue Oct 12 1999 - 17:15:32 MET DST)
- Re: Unboxed options Francois Pottier (Tue Oct 12 1999 - 17:06:15 MET DST)
- Re: About array Anton Moscal (Tue Oct 12 1999 - 15:08:56 MET DST)
- ESOP 2000 Submission Deadline Approaching Gert Smolka (Mon Oct 11 1999 - 11:16:15 MET DST)
- Stdlib regularity Ohad Rodeh (Wed Oct 06 1999 - 15:25:53 MET DST)
- Re: Stdlib regularity Markus Mottl (Wed Oct 06 1999 - 18:18:42 MET DST)
- Re: Stdlib regularity skaller (Thu Oct 07 1999 - 09:33:25 MET DST)
- OCAML bytecode Reynald AFFELDT (Wed Oct 06 1999 - 12:39:39 MET DST)
- Re: Stdlib regularity Francisco Valverde Albacete (Thu Oct 07 1999 - 11:18:42 MET DST)
- Re: Stdlib regularity Matías Giovannini (Fri Oct 08 1999 - 16:06:10 MET DST)
- Re: Stdlib regularity skaller (Fri Oct 08 1999 - 16:10:48 MET DST)
- Re: Stdlib regularity skaller (Fri Oct 08 1999 - 16:56:26 MET DST)
- Proposal for study: Add a categorical Initial type to ocaml skaller (Fri Oct 08 1999 - 18:38:55 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml John Prevost (Sun Oct 10 1999 - 00:43:35 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml chet@watson.ibm.com (Sun Oct 10 1999 - 05:18:29 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml skaller (Sun Oct 10 1999 - 08:14:23 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml chet@watson.ibm.com (Sun Oct 10 1999 - 18:10:18 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml Vyskocil Vladimir (Sun Oct 10 1999 - 20:52:17 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml William Chesters (Sun Oct 10 1999 - 23:05:26 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml chet@watson.ibm.com (Mon Oct 11 1999 - 00:38:44 MET DST)
- Option types and O'Labl merger Jacques Garrigue (Tue Oct 12 1999 - 10:34:45 MET DST)
- Option types and O'Labl merger William Chesters (Tue Oct 12 1999 - 16:38:33 MET DST)
- RE: Option types and O'Labl merger Frank A. Christoph (Wed Oct 13 1999 - 07:35:44 MET DST)
- Re: Option types and O'Labl merger Francisco Valverde Albacete (Wed Oct 13 1999 - 13:11:47 MET DST)
- localization, internationalization and Caml STARYNKEVITCH Basile (Wed Oct 13 1999 - 14:12:43 MET DST)
- Re: localization, internationalization and Caml skaller (Fri Oct 15 1999 - 00:20:20 MET DST)
- Re: localization, internationalization and Caml Francis Dupont (Fri Oct 15 1999 - 10:26:12 MET DST)
- LablGTK Beta 1 release Jacques Garrigue (Fri Oct 15 1999 - 14:40:19 MET DST)
- Re: localization, internationalization and Caml Gerard Huet (Fri Oct 15 1999 - 15:53:15 MET DST)
- Hellp... Andrius Kausinis (Sat Oct 16 1999 - 13:25:47 MET DST)
- Re: localization, internationalization and Caml Gerd Stolpmann (Fri Oct 15 1999 - 22:28:44 MET DST)
- Re: localization, internationalization and Caml skaller (Sun Oct 17 1999 - 13:27:09 MET DST)
- Re: localization, internationalization and Caml Francis Dupont (Sun Oct 17 1999 - 17:54:47 MET DST)
- Re: Thoughts on O'Labl O'Caml merge. John Prevost (Sun Oct 17 1999 - 21:13:35 MET DST)
- 32 bit integers Edwin Young (Mon Oct 18 1999 - 16:47:36 MET DST)
- RE: Proposal for study: Add a categorical Initial type to ocaml Manuel Fahndrich (Mon Oct 18 1999 - 18:48:14 MET DST)
- $0.02 suggestion for the Printf module Alain Frisch (Mon Oct 18 1999 - 18:15:06 MET DST)
- Re: localization, internationalization and Caml skaller (Tue Oct 19 1999 - 20:06:06 MET DST)
- Re: localization, internationalization and Caml skaller (Tue Oct 19 1999 - 20:36:24 MET DST)
- Re: localization, internationalization and Caml skaller (Tue Oct 19 1999 - 20:48:18 MET DST)
- Re: localization, internationalization and Caml skaller (Thu Oct 21 1999 - 06:42:48 MET DST)
- Re: localization, internationalization and Caml Gerd Stolpmann (Wed Oct 20 1999 - 23:05:41 MET DST)
- Re: localization, internationalization and Caml Matías Giovannini (Thu Oct 21 1999 - 14:05:00 MET DST)
- Utf8 (and other) code for ocaml (fwd) Pierre Weis (Thu Oct 21 1999 - 19:06:08 MET DST)
- Re: localization, internationalization and Caml skaller (Thu Oct 21 1999 - 17:35:00 MET DST)
- Re: localization, internationalization and Caml Matías Giovannini (Thu Oct 21 1999 - 18:27:41 MET DST)
- Re: localization, internationalization and Caml skaller (Thu Oct 21 1999 - 18:36:21 MET DST)
- Re: localization, internationalization and Caml Matías Giovannini (Thu Oct 21 1999 - 19:21:08 MET DST)
- Re: localization, internationalization and Caml Benoit Deboursetty (Sat Oct 23 1999 - 11:53:25 MET DST)
- Re: localization, internationalization and Caml Jan Skibinski (Mon Oct 25 1999 - 23:06:45 MET DST)
- Re: localization, internationalization and Caml skaller (Tue Oct 26 1999 - 20:02:45 MET DST)
- Quotes inside a comment ? Juergen Pfitzenmaier (Wed Oct 13 1999 - 14:30:22 MET DST)
- RE: Option types and O'Labl merger Jacques Garrigue (Wed Oct 13 1999 - 10:48:12 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml chet@watson.ibm.com (Mon Oct 11 1999 - 00:36:30 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml skaller (Mon Oct 11 1999 - 02:51:38 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml John Prevost (Mon Oct 11 1999 - 14:40:08 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml John Prevost (Mon Oct 11 1999 - 21:30:03 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml Jean-Francois Monin (Tue Oct 12 1999 - 13:33:25 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml Damien Doligez (Tue Oct 12 1999 - 17:33:27 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml Damien Doligez (Tue Oct 12 1999 - 17:44:28 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml skaller (Tue Oct 12 1999 - 21:20:35 MET DST)
- Looking for an LL parser generator Steve Stevenson (Tue Oct 12 1999 - 21:50:45 MET DST)
- RE: Proposal for study: Add a categorical Initial type to ocaml Manuel Fahndrich (Wed Oct 13 1999 - 18:42:29 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml skaller (Fri Oct 15 1999 - 00:43:54 MET DST)
- RE: Proposal for study: Add a categorical Initial type to ocaml Manuel Fahndrich (Fri Oct 15 1999 - 01:16:54 MET DST)
- Re: Proposal for study: Add a categorical Initial type to ocaml skaller (Sun Oct 17 1999 - 11:18:54 MET DST)
- Re: Stdlib regularity Markus Mottl (Fri Oct 08 1999 - 21:21:12 MET DST)
- Re: Stdlib regularity William Chesters (Sat Oct 09 1999 - 18:58:29 MET DST)
- Re: Stdlib regularity Dave Mason (Sat Oct 09 1999 - 23:14:09 MET DST)
- Re: Stdlib regularity Francois Rouaix (Sun Oct 10 1999 - 00:26:02 MET DST)
- Re: Stdlib regularity Matías Giovannini (Sun Oct 10 1999 - 02:11:54 MET DST)
- Re: Stdlib regularity skaller (Sun Oct 10 1999 - 07:38:24 MET DST)
- Re: Stdlib regularity Pierre Weis (Sun Oct 10 1999 - 22:09:08 MET DST)
- Re: Stdlib regularity Matías Giovannini (Sun Oct 10 1999 - 22:12:13 MET DST)
- Re: Stdlib regularity William Chesters (Sun Oct 10 1999 - 22:44:40 MET DST)
- Re: Stdlib regularity skaller (Mon Oct 11 1999 - 02:36:25 MET DST)
- Re: Stdlib regularity Damien Doligez (Tue Oct 12 1999 - 18:21:31 MET DST)
- Re: Stdlib regularity Matías Giovannini (Wed Oct 13 1999 - 14:18:09 MET DST)
- OCaml machine Juergen Pfitzenmaier (Wed Oct 13 1999 - 15:57:04 MET DST)
- Journal of Functional Programming Simon Peyton-Jones (Wed Oct 06 1999 - 15:52:38 MET DST)
- Reply to: speed versus C Jens Olsson (Wed Oct 06 1999 - 09:58:47 MET DST)
- mmm for ocaml2? Haruo Hosoya (Mon Oct 04 1999 - 18:41:29 MET DST)
- ETAPS'2000: tool demonstrations Don Sannella (Mon Oct 04 1999 - 17:21:44 MET DST)
- RE: A propos de monad/About monads Frank A. Christoph (Mon Oct 04 1999 - 10:40:10 MET DST)
- speed versus C Jan Brosius (Sun Oct 03 1999 - 23:35:16 MET DST)
- Nouvelle date limite de soumission JFLA2000 dubois@lami.univ-evry.fr (Sun Oct 03 1999 - 20:13:38 MET DST)
- Newbies question Peter Bruhn (Fri Oct 01 1999 - 15:01:28 MET DST)
- OCaml et l'évaluation paresseuse David Jemmi (Fri Oct 01 1999 - 13:54:13 MET DST)
- Re: A propos de monad/About monads David Mentr'e (Fri Oct 01 1999 - 11:26:48 MET DST)
- type contraints between module signatures Georges Brun-Cottan (Thu Sep 30 1999 - 23:23:14 MET DST)
- monad Philippe Esperet (Thu Sep 30 1999 - 22:30:18 MET DST)
- A propos de monad Stéphane Baubillier (Thu Sep 30 1999 - 18:24:03 MET DST)
- Can someone explain? skaller (Tue Sep 28 1999 - 20:56:37 MET DST)
- Visual language for functional design Chris Tilt (Fri Sep 24 1999 - 20:17:18 MET DST)
- Help --- type checker and I agree to disagree... Steve Stevenson (Fri Sep 24 1999 - 15:08:58 MET DST)
- Tree of a certain class: Peter Schrammel (Fri Sep 24 1999 - 10:15:52 MET DST)
- Second Call for Papers JFLA2000 dubois@lami.univ-evry.fr (Wed Sep 22 1999 - 21:23:50 MET DST)
- Problèmes avec lib UNIX sur Windows yvan.godin@free.fr (Tue Sep 21 1999 - 09:21:04 MET DST)
- FOSSACS 2000, Call for Papers Jerzy Tiuryn (Mon Sep 20 1999 - 19:14:49 MET DST)
- Lightweight Regular Expressions Christian Lindig (Sun Sep 19 1999 - 22:03:40 MET DST)
- Liste de diffusion des HeVeA/mailing list HeVeA. Luc Maranget (Fri Sep 17 1999 - 15:10:30 MET DST)
- What am I missing? skaller (Fri Sep 17 1999 - 03:13:49 MET DST)
- string function documentation Steve Gardner (Wed Sep 15 1999 - 13:10:23 MET DST)
- Imperative list operations Steve Stevenson (Tue Sep 14 1999 - 21:36:18 MET DST)
- BigNum Gmp et Ocaml Renaud.Rioboo@lip6.fr (Fri Sep 10 1999 - 11:17:59 MET DST)
- -output-obj and shared libraries? Charles 'Buck' Krasic (Tue Sep 07 1999 - 18:01:30 MET DST)
- throws David Monniaux (Mon Sep 06 1999 - 19:30:59 MET DST)
- ESOP 2000: Call for Papers Gert Smolka (Mon Sep 06 1999 - 14:24:54 MET DST)
- ocamlyacc and error messages David Mentr'e (Mon Sep 06 1999 - 14:02:11 MET DST)
- Ocaml 2 object system origins John Prevost (Mon Sep 06 1999 - 12:38:32 MET DST)
- A way to restore sanity to IEEE FP math. David McClain (Mon Sep 06 1999 - 01:52:48 MET DST)
- FP Computations David McClain (Sat Sep 04 1999 - 08:52:53 MET DST)
- The Pentium Non-Bug David McClain (Fri Sep 03 1999 - 23:41:20 MET DST)
- Correct interpretation of the Pentium non-bug David McClain (Fri Sep 03 1999 - 20:17:33 MET DST)
- Re: convincing management to switch to Ocaml (fwd) Anton Moscal (Thu Sep 02 1999 - 14:38:21 MET DST)
- Re: Efficency in OCaml chet@watson.ibm.com (Wed Sep 01 1999 - 20:40:21 MET DST)
- Y2K related changes Friedman Roy (Wed Sep 01 1999 - 17:23:22 MET DST)
- factoring recursive functions John Skaller (Tue Aug 31 1999 - 13:58:00 MET DST)
- interfacing FORTRAN/OCAML?? karine CHEVALIER-JABET (Mon Aug 30 1999 - 14:54:36 MET DST)
- The Obj module in Objective Caml Zoub-Zoub Mangeur de doigts-de-pied (Sat Aug 21 1999 - 15:44:45 MET DST)
- Unison file synchronizer: alpha-testers needed Benjamin C. Pierce (Fri Aug 27 1999 - 17:10:04 MET DST)
- New software: Markup - validating XML parser for O'Caml Gerd Stolpmann (Mon Aug 23 1999 - 19:19:35 MET DST)
- tracés de courbes en Ocaml Alain Bengaouer (Mon Aug 23 1999 - 13:35:11 MET DST)
- Ocamlopt for R4000? Ken Wakita (Mon Aug 23 1999 - 10:43:33 MET DST)
- Order of evaluation John Skaller (Fri Aug 13 1999 - 12:53:25 MET DST)
- Reply to: convincing management to switch to Ocaml Jens Olsson (Thu Aug 12 1999 - 12:36:35 MET DST)
- Constructor/reference bug? John Skaller (Wed Aug 11 1999 - 10:05:30 MET DST)
- O'Caml speaks MIDI Thorsten Ohl (Wed Aug 11 1999 - 15:13:45 MET DST)
- le GC et les bidouilles en C Patrick Goldbronn - SYSCO (Thu Aug 05 1999 - 10:58:08 MET DST)
- Weird behavior with mutually recursive type definitions Francois Pottier (Wed Aug 04 1999 - 15:52:39 MET DST)
- What does the future hold ? Shmulik Regev (Wed Aug 04 1999 - 08:01:23 MET DST)
- re-entrant CAMLYACC parsers? chet@watson.ibm.com (Tue Aug 03 1999 - 23:45:38 MET DST)
- information sur camlidl (passage des tableaux) Patrick Goldbronn - SYSCO (Tue Aug 03 1999 - 11:41:52 MET DST)
- OCaml <-> PalmPilot bcpierce@cis.upenn.edu (Mon Aug 02 1999 - 19:41:02 MET DST)
- Re: probleme dans les modules - contraintes (fwd) Nicolas Ollinger (Mon Aug 02 1999 - 11:39:14 MET DST)
- Followup PCRE for OCaml... Markus Mottl (Fri Jul 30 1999 - 13:32:29 MET DST)
- ocamldebug and -custom David Brown (Fri Jul 30 1999 - 06:23:08 MET DST)
- CLOS and ML? David McClain (Thu Jul 29 1999 - 00:44:36 MET DST)
- Announcement: PCRE-library for OCaml Markus Mottl (Wed Jul 28 1999 - 22:02:12 MET DST)
- tuple vs curried, records vs variants Jens Olsson (Wed Jul 28 1999 - 20:48:44 MET DST)
- Finalization of I/O Channels David McClain (Wed Jul 28 1999 - 20:17:57 MET DST)
- convincing management to switch to Ocaml STARYNKEVITCH Basile (Wed Jul 28 1999 - 16:47:34 MET DST)
- APPEL A COMMUNICATION JFLA2000 dubois@lami.univ-evry.fr (Sat Jul 24 1999 - 16:45:01 MET DST)
- Exceptions and .mli-files? Jens Olsson (Sat Jul 24 1999 - 15:58:02 MET DST)
- toplevel and native code Markus Mottl (Mon Jul 19 1999 - 21:00:53 MET DST)
- New software: xstrp4 - '$' expansions for camlp4 Gerd.Stolpmann@darmstadt.netsurf.de (Sun Jul 18 1999 - 19:13:03 MET DST)
- recursive algebraic and class types John Skaller (Wed Jul 14 1999 - 03:38:52 MET DST)
- irritability of structure name conflicts Dave Mason (Tue Jul 13 1999 - 19:59:44 MET DST)
- String.from_list Francois-Rene Rideau (Tue Jul 13 1999 - 16:16:42 MET DST)
- CFP (reminder): PLI99 = ICFP + PPDP + HOOTS + IDL + ... Didier.Remy@inria.fr (Tue Jul 13 1999 - 14:32:45 MET DST)
- New software: findlib-browser (again) Gerd Stolpmann (Mon Jul 12 1999 - 22:29:21 MET DST)
- Undecidability of OCaml type checking Andreas Rossberg (Mon Jul 12 1999 - 19:20:36 MET DST)
- New software: findlib-browser Gerd Stolpmann (Sun Jul 11 1999 - 19:52:13 MET DST)
- New software: xstr - Thread-safe string functions Gerd Stolpmann (Wed Jul 07 1999 - 22:15:12 MET DST)
- Hevea new release Luc Maranget (Tue Jul 06 1999 - 18:26:59 MET DST)
- Nouveau lacher d'hevea Luc Maranget (Tue Jul 06 1999 - 18:20:38 MET DST)
- Q: parametric types in simple functors? STARYNKEVITCH Basile (Mon Jul 05 1999 - 12:57:08 MET DST)
- New release: findlib, a library managing reusable software components (packages) Gerd Stolpmann (Sat Jun 26 1999 - 20:25:46 MET DST)
- New software: db2man, converts docbook to Unix manual pages Gerd Stolpmann (Sat Jun 26 1999 - 20:38:18 MET DST)
- Typage des modules Daniel Bonniot (Tue Jun 22 1999 - 17:38:54 MET DST)
- New patch for former C programers :))) Fabrice Le Fessant (Fri Jun 18 1999 - 21:21:51 MET DST)
- ocamlweb - a literate programming tool for Objective Caml Jean-Christophe Filliatre (Fri Jun 18 1999 - 13:55:38 MET DST)
- New software: HTTP, cryptography Gerd Stolpmann (Fri Jun 18 1999 - 02:44:45 MET DST)
- Call-For-Participation: PLI 99 = ICFP + PPDP + HOOTS + IDL + ... Didier.Remy@inria.fr (Sun Jun 06 1999 - 12:32:36 MET DST)
- forward function definitions Junbiao Zhang (Wed Jun 09 1999 - 20:38:22 MET DST)
- cryptage Sébastien Mathon (Wed Jun 09 1999 - 13:51:49 MET DST)
- MlDoc : extraction automatique de documentation Pierre Boulet (Mon Jun 07 1999 - 12:04:48 MET DST)
- New Makefile for OCAML Markus Mottl (Sun Jun 06 1999 - 17:26:31 MET DST)
- Constante NIL Vyskocil Vladimir (Mon May 31 1999 - 16:20:40 MET DST)
- Format SAIBI Amokrane (Mon May 31 1999 - 14:09:23 MET DST)
- Random.int on non unix platform Martin Quinson (Sun Jun 27 1999 - 17:53:10 MET DST)
- Caml Primer Laurent Chéno (Mon May 24 1999 - 15:02:01 MET DST)
- New test version of the O'caml link db Gerd Stolpmann (Fri May 21 1999 - 00:27:42 MET DST)
- Big Brother 2.0.0, a free Web spider written in O'Caml Francois Pottier (Wed May 19 1999 - 22:50:06 MET DST)
- yet another signal mask patch and: what's the indended semantics? Joerg Czeranski (Wed May 19 1999 - 19:44:57 MET DST)
- UPDATE: more patches Joerg Czeranski (Tue May 18 1999 - 03:25:45 MET DST)
- modification to the O'CaML sets.ml Benoit deBoursetty (Tue May 18 1999 - 01:53:39 MET DST)
- Are exceptions evil? (was: more patches) Joerg Czeranski (Mon May 17 1999 - 13:03:28 MET DST)
- visualization of Caml values Jean-Christophe Filliatre (Mon May 17 1999 - 09:24:33 MET DST)
- more patches (for Unix signal mask) Joerg Czeranski (Sun May 16 1999 - 23:40:56 MET DST)
- A list of finalized values ? Xavier.Redon (Thu May 06 1999 - 22:36:29 MET DST)
- parseur XML validant seb (Thu May 06 1999 - 16:33:43 MET DST)
- Parser XML valide Sébastien Mathon (Tue May 04 1999 - 16:11:28 MET DST)
- Re: Génération de code Stéphane Baubillier (Mon May 03 1999 - 14:34:54 MET DST)
- patch: ocamldebug prints float arrays without barfing William Chesters (Thu Apr 22 1999 - 02:00:45 MET DST)
- trouble with C pointers and GC Patrick Goldbronn - SYSCO (Mon Apr 19 1999 - 16:42:30 MET DST)
- License Issues Dwight VandenBerghe (Mon Apr 19 1999 - 15:16:52 MET DST)
- licence issues Markus Mottl (Fri Apr 16 1999 - 11:54:53 MET DST)
- Some questions about signatures Juan Jose Garcia Ripoll (Wed Apr 14 1999 - 09:36:33 MET DST)
- New Software Gerd Stolpmann (Mon Apr 12 1999 - 03:55:34 MET DST)
- Followup: creating fresh objects of type 'self Markus Mottl (Sat Apr 10 1999 - 02:15:44 MET DST)
- creating fresh objects of type 'self Markus Mottl (Sat Apr 10 1999 - 00:56:44 MET DST)
- [LONG] misc. patches against ocaml-2.02 Joerg Czeranski (Fri Apr 09 1999 - 22:12:33 MET DST)
- systhreads/threadUnix.ml{,i} missing select John Prevost (Fri Apr 09 1999 - 22:04:29 MET DST)
- Testing caml programs SURLOG (Fri Apr 09 1999 - 10:17:24 MET DST)
- Re: graphics (color query code for truecolor displays) Jun P. Furuse (Wed Apr 07 1999 - 14:30:24 MET DST)
- Toplevel script mode Ian T Zimmerman (Tue Apr 06 1999 - 10:07:27 MET DST)
- graphics Marc Rouaix (Tue Apr 06 1999 - 10:54:23 MET DST)
- splay trees 0.4 released Jean-Francois Monin (Tue Apr 06 1999 - 10:13:32 MET DST)
- Urgent Hassen Sallay (Fri Apr 02 1999 - 15:28:01 MET DST)
- Ocaml on a DEC alpha Jocelyn Serot (Thu Apr 01 1999 - 12:46:00 MET DST)
- Strange hugeness of .o, .cmo, and .cmi files John Prevost (Wed Mar 31 1999 - 08:19:50 MET DST)
- Some extensions to Camlidl-1.00 - Correction Jocelyn Serot (Tue Mar 30 1999 - 19:11:42 MET DST)
- Sys.command in Windows NT Stephanie Weirich (Mon Mar 29 1999 - 22:30:15 MET DST)
- initialization of instance variables John Whitley (Sat Mar 27 1999 - 19:04:33 MET)
- file permission integer Manuel Fahndrich (Fri Mar 26 1999 - 21:33:35 MET)
- New software Gerd Stolpmann (Fri Mar 26 1999 - 02:37:06 MET)
- Suggestion for a site-lib directory Gerd Stolpmann (Fri Mar 19 1999 - 20:34:48 MET)
- Dynamic Typing Nicolas Ollinger (Fri Mar 19 1999 - 21:01:15 MET)
- another approach to sprintf (Re: ocaml 2.02 bug: curried printf) Eijiro Sumii (Fri Mar 19 1999 - 09:47:20 MET)
- operational semantics of == for methods Olivier Bouyssou (Thu Mar 18 1999 - 12:04:28 MET)
- OLabl optional arguments and higher order functions John Whitley (Thu Mar 18 1999 - 07:35:40 MET)
- Emacs mode with typing for ocaml Pascal Brisset (Wed Mar 17 1999 - 15:44:39 MET)
- Mady 0.2 Nicolas Ollinger (Tue Mar 16 1999 - 23:42:29 MET)
- Demande professeur de Caml Pierre Weis (Tue Mar 16 1999 - 18:04:06 MET)
- Mady 0.1 Nicolas Ollinger (Mon Mar 15 1999 - 18:15:07 MET)
- threads & OCamlTK Don Syme (Mon Mar 15 1999 - 16:05:21 MET)
- Break under Windows NT Don Syme (Mon Mar 15 1999 - 15:26:51 MET)
- debugger terminates when asked to print double array William Chesters (Sun Mar 14 1999 - 17:10:55 MET)
- O'Caml link db goes online Gerd Stolpmann (Sun Mar 14 1999 - 02:58:25 MET)
- Ocaml Documentation Hendrik Tews (Fri Mar 12 1999 - 19:25:48 MET)
- Contrib: toplevel for native code Fabrice Le Fessant (Fri Mar 12 1999 - 16:42:29 MET)
- List.filter in Ocaml 2.02 Alexey Nogin (Fri Mar 12 1999 - 00:42:09 MET)
- Upgrade from OCaml 2.01 to OCaml 2.02 made things _slower_! Alexey Nogin (Thu Mar 11 1999 - 04:06:09 MET)
- OCAML inheritance question Damir BIJUKLIC (Wed Mar 10 1999 - 22:50:45 MET)
- Unicode-Support in Ocaml? Jens Wagner (Wed Mar 10 1999 - 20:32:54 MET)
- 2 contribs: splay trees and otags Jean-Francois Monin (Wed Mar 10 1999 - 13:46:05 MET)
- controler la taille du tas Pierre CREGUT - FT.BD/CNET/DTL/MSV (Wed Mar 10 1999 - 09:15:27 MET)
- No ThreadUnix.select in systhreads Frank A. Christoph (Tue Mar 09 1999 - 15:11:12 MET)
- Browsing docs & caml.el. Pierpaolo Bernardi (Mon Mar 08 1999 - 17:44:16 MET)
- Re: Suggestions pour les modules Christophe Raffalli (Mon Mar 08 1999 - 10:27:39 MET)
- Camlp4 2.02 Daniel de Rauglaudre (Fri Mar 05 1999 - 14:34:17 MET)
- CamlIDL - stub code generator and COM binding for OCaml Xavier Leroy (Fri Mar 05 1999 - 11:41:59 MET)
- Objective Caml 2.02 Xavier Leroy (Fri Mar 05 1999 - 11:41:12 MET)
- Large Foreign Arrays for OCAML -- Code Released David McClain (Fri Mar 05 1999 - 06:30:24 MET)
- compilateur natif pour architectures sparc/linux et m68k/linux ? Sven LUTHER (Thu Mar 04 1999 - 10:38:25 MET)
- Error whith DynLink module Hugues CASSE (Thu Mar 04 1999 - 11:02:47 MET)
- bug in floating point implementation ? Shyjan Mahamud (Thu Feb 25 1999 - 01:43:05 MET)
- polymorphically comparable Maps? Thorsten Ohl (Mon Feb 22 1999 - 18:37:01 MET)
- Allocating on doublewords; was: About adding embedded user types into Ocaml bytecode runtime William Chesters (Mon Feb 22 1999 - 16:34:29 MET)
- Warnings in ocaml Jacques GARRIGUE (Fri Feb 19 1999 - 13:30:15 MET)
- camlcvs: now home of linkdb Gerd Stolpmann (Thu Feb 18 1999 - 02:01:42 MET)
- Is there a tool to generate documentation from O'Caml source files? T. Kurt Bond (Tue Feb 16 1999 - 04:54:50 MET)
- OCAML under MachTen4 Georg Bauer (Sun Feb 14 1999 - 16:01:00 MET)
- Portable C-FFI for OCAML 2.01 David McClain (Sun Feb 14 1999 - 20:38:28 MET)
- anonymous record types in variants Christopher Jeris (Fri Feb 12 1999 - 21:53:57 MET)
- memory management, allocation and collection in kernel mode. Sussillo, David (Wed Feb 10 1999 - 20:51:00 MET)
- O'Caml native code can be easily improved in size by 10% Anton Moscal (Tue Feb 02 1999 - 16:06:14 MET)
- Camltk Thibault Weintraub (Tue Feb 02 1999 - 12:00:58 MET)
- Polymorphic recursion in modules - impossible? Markus Mottl (Mon Feb 01 1999 - 21:58:13 MET)
- Wishlist! David McClain (Mon Feb 01 1999 - 05:12:37 MET)
- moving from OCAML 1.0 to 2.0 Pawel Wojciechowski (Sun Jan 31 1999 - 17:00:58 MET)
- Array Size Limitations Overcome! David McClain (Sun Jan 31 1999 - 06:59:55 MET)
- list of recently released ocaml software Toby Moth (Thu Jan 28 1999 - 23:01:38 MET)
- Base d'objets persistante (was : Marshaling pour les objets ?) Nicolas Ollinger (Thu Jan 28 1999 - 13:17:16 MET)
- Re: If i had a hammer... Markus Mottl (Thu Jan 28 1999 - 12:02:55 MET)
- Re: [Q] Multiple patterns in O'Caml Pierre Weis (Wed Jan 27 1999 - 15:02:49 MET)
- Suggestions Miles Egan (Wed Jan 27 1999 - 02:18:03 MET)
- [Q] Multiple patterns in O'Caml Matías Giovannini (Tue Jan 26 1999 - 19:49:28 MET)
- Looking for a nail Miles Egan (Sun Jan 24 1999 - 22:06:05 MET)
- Array interface question Brian Rogoff (Fri Jan 22 1999 - 20:10:40 MET)
- Correction: Proposal for new Lexing Module Christian Lindig (Mon Jan 18 1999 - 12:33:47 MET)
- Proposal for new Lexing Module (long) Christian Lindig (Mon Jan 18 1999 - 09:24:39 MET)
- Re: subtyping and inheritance - correction Markus Mottl (Sat Jan 16 1999 - 19:58:55 MET)
- Problem binding type parameters in modules Markus Mottl (Sat Jan 16 1999 - 13:21:35 MET)
- Ocamldot -- generate program dependency graphs for ocaml Trevor Jim (Wed Jan 13 1999 - 21:22:16 MET)
- thread i/o Michael Hicks (Tue Jan 12 1999 - 21:12:32 MET)
- null values and sentinels Jerry Jackson (Tue Jan 12 1999 - 16:50:19 MET)
- subtyping and inheritance Markus Mottl (Mon Jan 11 1999 - 19:52:57 MET)
- Map is not tail recursive Juan Jose Garcia Ripoll (Sun Jan 10 1999 - 11:49:53 MET)
- Using modules and classes recursively Markus Mottl (Sat Jan 09 1999 - 21:24:39 MET)
- OCaml wins a comparative study Patrick Loiseleur (Fri Jan 08 1999 - 10:35:46 MET)
- side effects on object destruction Markus Mottl (Thu Jan 07 1999 - 13:34:46 MET)
- ANNOUNCEMENT: JavaCaml Gerd Stolpmann (Tue Jan 05 1999 - 23:09:03 MET)
- Simple XML Parser and Pretty Printer available Christian Lindig (Tue Jan 05 1999 - 16:12:26 MET)
- Q: How i can use Mutex and thread .. Laurent Colombet (Wed Dec 23 1998 - 15:44:03 MET)
- how to coerce expression type? Dwight VandenBerghe (Mon Dec 21 1998 - 18:17:06 MET)
- Dynamic link libraries Juan Jose Garcia Ripoll (Tue Dec 22 1998 - 10:45:04 MET)
- alloc_final() and alloc() Vincent BARAT (Tue Dec 22 1998 - 12:03:35 MET)
- Subsequence references or substrings in OCaml Brian Rogoff (Fri Dec 18 1998 - 20:27:57 MET)
- JFLA'99 Pierre Weis (Mon Dec 21 1998 - 11:16:41 MET)
- [Fwd: Re: New version 1.33 of Tuareg: A Caml mode for Emacs/XEmacs] Thierry Bravier (Fri Dec 18 1998 - 11:39:25 MET)
- OCaml debugging on NT Dimitry Kloper (Wed Dec 16 1998 - 16:20:26 MET)
- New version 1.33 of Tuareg: A Caml mode for Emacs/XEmacs Albert Cohen (Wed Dec 16 1998 - 19:32:21 MET)
- Q: Tutorial Ocaml Laurent Colombet (Wed Dec 16 1998 - 15:55:05 MET)
- OCamlBrowser 2.01 Jacques GARRIGUE (Tue Dec 15 1998 - 11:46:25 MET)
- New OCAML and CAMLP4 RHCN packages uploaded. Alexey Nogin (Tue Dec 15 1998 - 09:47:50 MET)
- The Objective Label Trilogy 2.01 & LablGL 0.91 Jacques GARRIGUE (Tue Dec 15 1998 - 08:08:31 MET)
- Neural Network / Resaux Neuronnaux Yves DURET aka HyDe (Mon Dec 14 1998 - 23:11:46 MET)
- a Lout style for prettyprinting OCAML Basile STARYNKEVITCH (Fri Dec 11 1998 - 16:54:51 MET)
- Functional composition operator? John Whitley (Tue Dec 08 1998 - 06:23:59 MET)
- Display data structure Hugues CASSE (Thu Dec 03 1998 - 13:44:52 MET)
- Single vs. Double Precision floats? John Whitley (Tue Dec 01 1998 - 21:47:26 MET)
- Text inclusion Anton Moscal (Mon Nov 30 1998 - 19:36:07 MET)
- arrays and type variables... Don Syme (Wed Nov 25 1998 - 14:57:03 MET)
- Objects as sums Anton Moscal (Wed Nov 25 1998 - 16:17:35 MET)
- nth_root of num? N Hur (Wed Nov 25 1998 - 14:48:39 MET)
- Binary file I/O John Whitley (Fri Nov 20 1998 - 06:07:07 MET)
- questions Nickolay B. Semyonov (Sun Nov 15 1998 - 01:15:34 MET)
- Call for paper of Reflection99 Cointe Pierre 0251858200 (Wed Nov 04 1998 - 08:46:26 MET)
- Correction (dynlink for native code executables) Fabrice Le Fessant (Tue Nov 03 1998 - 19:08:00 MET)
- Nouvelle release d'Hevea. Luc Maranget (Tue Nov 03 1998 - 13:32:46 MET)
- Contrib: dynlink for native code executables to load .cmo files Fabrice Le Fessant (Mon Nov 02 1998 - 15:42:09 MET)
- Sharing inheritance ? Christophe Raffalli (Mon Nov 02 1998 - 10:32:08 MET)
- Tkemacs et tktree SURLOG (Fri Oct 30 1998 - 19:08:23 MET)
- Re: problem with ocamlmktop (contd) Pascal Brisset (Fri Oct 30 1998 - 18:56:38 MET)
- Types abstraits et Inferface C SURLOG (Fri Oct 23 1998 - 11:27:52 MET DST)
- Contrib: a small Xwindow editor entirely written in Ocaml Fabrice Le Fessant (Thu Oct 22 1998 - 11:54:02 MET DST)
- C interface and Caml Freddy Mang (Thu Oct 22 1998 - 09:11:42 MET DST)
- Linking caml generated object in NT Friedman Roy (Tue Oct 20 1998 - 15:29:08 MET DST)
- Re: building ocaml-2.00 with gcc-2.7.2.3 Jens-Ulrik Petersen (Sat Oct 17 1998 - 01:33:07 MET DST)
- Toplevel customisation with NT Andrew Telford (Fri Oct 16 1998 - 05:56:52 MET DST)
- Re: building ocaml-2.00 with egcs Jens-Ulrik Petersen (Fri Oct 16 1998 - 02:54:05 MET DST)
- Objective Caml 2 with RedHat 5.1 Paul Bristow (Wed Oct 14 1998 - 17:05:24 MET DST)
- problem with ocamlmktop -output-obj Thierry Bravier (Wed Oct 14 1998 - 18:47:58 MET DST)
- Boxing wrt. unary constructors Don Syme (Wed Oct 14 1998 - 11:43:31 MET DST)
- Caml GC internals documents? Shin-Cheng Mu (Wed Oct 14 1998 - 05:26:32 MET DST)
- projects using Ocaml - summary Basile STARYNKEVITCH (Tue Oct 13 1998 - 08:32:11 MET DST)
- Connection à une IHM en IlogViews Emmanuel Dorlet (Mon Oct 12 1998 - 11:07:46 MET DST)
- Primitives d'interrogations sur les types Emmanuel Dorlet (Mon Oct 12 1998 - 10:28:33 MET DST)
- APIs under Windows Don Syme (Wed Oct 07 1998 - 19:03:34 MET DST)
- Re: porte des definitions / initialisation des variables de classe Serge Fantino (Wed Oct 07 1998 - 15:03:21 MET DST)
- RE: -custom under NT Don Syme (Tue Oct 06 1998 - 18:38:03 MET DST)
- Re: porte des definitions des variables de classe Serge Fantino (Tue Oct 06 1998 - 18:12:57 MET DST)
- -custom under NT Don Syme (Tue Oct 06 1998 - 18:27:05 MET DST)
- Re: port des d finitions des variables de classe Sylvain BOULM'E (Tue Oct 06 1998 - 14:35:01 MET DST)
- socket in the windows port Friedman Roy (Fri Sep 11 1998 - 00:23:29 MET DST)
- ocaml-mode 2.00 Jacques GARRIGUE (Thu Sep 03 1998 - 08:35:27 MET DST)
- The Objective Label Trilogy, version 2.00 Jacques GARRIGUE (Thu Sep 03 1998 - 08:24:20 MET DST)
- camlp4 2.00--1 (objects parsed in Ocaml syntax) Daniel de Rauglaudre (Tue Sep 01 1998 - 12:28:07 MET DST)
- Style de programmation Jean-Charles Grégoire (Mon Aug 31 1998 - 18:09:35 MET DST)
- documentation automatique Vincent Poirriez (Thu Aug 27 1998 - 14:39:32 MET DST)
- camlp4 2.00-- intermediate version without objects and classes Daniel de Rauglaudre (Sat Aug 22 1998 - 16:37:18 MET DST)
- [Bug/Feature]: (#meth) syntax is gone ? boos@arthur.u-strasbg.fr (Sat Aug 22 1998 - 12:38:43 MET DST)
- Encapsulation in Objective Caml Mitchell, Brian, VBAVACO (Thu Aug 20 1998 - 16:51:26 MET DST)
- Types construits et interface de modules Sven LUTHER (Wed Aug 19 1998 - 10:33:31 MET DST)
- new Objective Caml tools and libraries Xavier Leroy (Wed Aug 19 1998 - 10:31:16 MET DST)
- Objective Caml 2.00 released Xavier Leroy (Wed Aug 19 1998 - 10:26:02 MET DST)
- Re: Libc & oCaml questions Aline Baggio (Mon Aug 17 1998 - 15:14:01 MET DST)
- Implémentation de printf Alain Frisch (Thu Aug 06 1998 - 12:32:45 MET DST)
- Marshalling of floats Christopher Oliver (Tue Aug 04 1998 - 20:38:55 MET DST)
- HEVEA 1.0, traducteur LaTeX -> HTML en Caml Luc Maranget (Thu Jul 30 1998 - 15:50:12 MET DST)
- ocaml -> Fortran William Chesters (Wed Jul 29 1998 - 21:33:40 MET DST)
- Re: OLabl bug? Jacques GARRIGUE (Tue Jul 28 1998 - 04:16:17 MET DST)
- Re: winOcaml Gang CHEN (Mon Jul 27 1998 - 21:15:02 MET DST)
- Garbage collection qustion Ohad Rodeh (Mon Jun 29 1998 - 09:51:27 MET DST)
- Call for libraries (English version) SURLOG (Mon Jun 22 1998 - 17:01:01 MET DST)
- Call for libraries (version française) SURLOG (Mon Jun 22 1998 - 17:00:48 MET DST)
- ocamldebug must not be stripped! Markus Mottl (Mon Jun 22 1998 - 12:48:44 MET DST)
- Classe recursive et heritage Emmanuel Engel (Sun Jun 21 1998 - 16:05:37 MET DST)
- Re: Questions Francois Rouaix (Fri Jun 19 1998 - 11:37:48 MET DST)
- Re: Nombre aleatoire Quercia Michel (Sun May 24 1998 - 08:28:30 MET DST)
- polymorphic printer functions ? Jean-Marie Favre (Sat May 23 1998 - 18:32:06 MET DST)
- Is this OK? N Hur (Fri May 15 1998 - 15:02:24 MET DST)
- A propos de la fonction stat() Berruyer (Fri May 15 1998 - 20:23:45 MET DST)
- RE : RE :Graphisme Patrice AUFFRET (Fri May 15 1998 - 23:38:11 MET DST)
- plots of functions Vincent Poirriez (Fri May 15 1998 - 18:24:25 MET DST)
- ocaml et Unix michel@lami.univ-evry.fr (Thu May 14 1998 - 14:14:23 MET DST)
- Ocamlyacc Petit (Wed May 13 1998 - 15:40:04 MET DST)
- Programming contest Patrick Loiseleur (Tue May 12 1998 - 18:14:52 MET DST)
- Question about Objective Caml string constant syntax T. Kurt Bond (Tue Apr 07 1998 - 02:51:21 MET DST)
- From bytecode to native code? Gang CHEN (Thu Apr 02 1998 - 16:07:21 MET DST)
- dynamic method look-up? Eijiro Sumii (Thu Apr 02 1998 - 12:49:36 MET DST)
- Camlp4 1.07.1 Daniel de Rauglaudre (Thu Apr 02 1998 - 12:18:14 MET DST)
- stdout in Unix module Vincent Leleu (Wed Mar 25 1998 - 16:41:00 MET)
- gcc compilation of ocaml and native code coq in window95 Gang CHEN (Thu Mar 26 1998 - 20:36:58 MET)
- operational semantics of = for objects Sorin Stratulat (Thu Mar 26 1998 - 18:32:49 MET)
- job opportunity, can you help? Melissa Barkan (Tue Mar 24 1998 - 18:56:37 MET)
- Re: type sharing Tyng-Ruey Chuang (Sun Mar 15 1998 - 09:10:38 MET)
- TIFF loader Vincent Leleu (Thu Feb 19 1998 - 21:03:14 MET)
- Weak types ? Pierre CASTERAN (Tue Feb 03 1998 - 16:46:22 MET)
- Caml performance Michael Hicks (Sun Feb 01 1998 - 16:48:15 MET)
- bibliotheque autograph Laurent Chéno (Fri Jan 30 1998 - 19:39:22 MET)
- dynamic linking and C libraries Scott Alexander (Tue Jan 27 1998 - 04:54:58 MET)
- logiciels libres Pierre Weis (Wed Dec 31 1997 - 20:35:12 MET)
- index for html version of manual? Joshua D. Guttman (Wed Dec 31 1997 - 15:51:24 MET)
- What exactly can be GC'ed? Ching-Tsun Chou (Tue Dec 23 1997 - 19:57:07 MET)
- objective caml et W95 poirriez (Mon Dec 22 1997 - 15:00:45 MET)
- CAML/MPI v1.1 available Jocelyn Serot (Fri Dec 19 1997 - 17:08:49 MET)
- Wish List / Future direction? Adam Scislowicz (Wed Dec 17 1997 - 04:01:24 MET)
- PhD position at INRIA-Rocquencourt Michel Mauny (Tue Dec 16 1997 - 18:07:26 MET)
- ocamlyacc with friendly dollar-symbols Thierry Bravier (Fri Dec 12 1997 - 15:36:27 MET)
- Objective Label 1.07 Jacques GARRIGUE (Fri Dec 12 1997 - 06:44:14 MET)
- Objective Caml 1.07 released Xavier Leroy (Thu Dec 11 1997 - 18:43:18 MET)
- MMM Release, Calves Release Francois Rouaix (Thu Dec 11 1997 - 15:24:07 MET)
- Type of prefix + and prefix :: Laurent Chéno (Mon Dec 08 1997 - 08:31:45 MET)
- Grammars and pretty print Daniel de Rauglaudre (Sun Dec 07 1997 - 16:30:54 MET)
- Marshal module. Ken Wakita (Mon Dec 01 1997 - 12:37:01 MET)
- Re: Assert_failure exception Pierre Weis (Mon Dec 01 1997 - 11:17:25 MET)
- Recursive types in OCaml/OLabl-1.06 Wolfram Kahl (Wed Nov 26 1997 - 14:06:33 MET)
- Gestion des librairies Emmanuel Engel (Wed Nov 26 1997 - 13:29:37 MET)
- ocaml-mode 1.06 Jacques GARRIGUE (Wed Nov 26 1997 - 09:17:34 MET)
- Re: recursive types Jason Hickey (Tue Nov 25 1997 - 16:43:26 MET)
- OCamlBrowser version 1.06 Jacques GARRIGUE (Tue Nov 25 1997 - 07:57:17 MET)
- Deletion of ioctl_ptr in Caml 1.06 Scott Alexander (Mon Nov 24 1997 - 04:28:08 MET)
- Lettre de Caml numero 7 Laurent Chéno (Sun Nov 23 1997 - 10:46:35 MET)
- Re: type recursifs et abreviations cyclique and Co Emmanuel Engel (Fri Nov 21 1997 - 19:26:35 MET)
- Re: Type-checking bug (or feature?) in O'Caml 1.06 Pierre Weis (Wed Nov 19 1997 - 10:24:03 MET)
- Type-checking bug (or feature?) in O'Caml 1.06 Paul Stodghill (Tue Nov 18 1997 - 19:57:31 MET)
- installation sur serveur Gerard M. Mamou (Tue Nov 11 1997 - 19:08:55 MET)
- recursive datatypes Simon Helsen (Tue Nov 11 1997 - 17:51:35 MET)
- local type within class Benoit Pasquereau (Fri Nov 07 1997 - 12:17:07 MET)
- Caml/MPI interface v1.0 available Jocelyn Serot (Thu Nov 06 1997 - 15:09:16 MET)
- Annonce/Announce : Caml light 0.73 Amiga Francois Pessaux (Fri Oct 31 1997 - 17:43:45 MET)
- [OCaml:] equality predicates for all abstract data types? Thorsten Ohl (Tue Oct 28 1997 - 14:16:28 MET)
- Neural nets in Caml Vincent Leleu (Mon Oct 06 1997 - 16:36:53 MET DST)
- Ocaml: module Map Dalila Bakir - Limav (Thu Oct 02 1997 - 17:23:55 MET DST)
- Re: type declaration in */mli & *.ml Hendrik Tews (Wed Oct 01 1997 - 12:02:25 MET DST)
- camlex/camlyacc + threads problem Olivier Bouyssou (Wed Sep 10 1997 - 10:17:24 MET DST)
- BDD in O'Caml? Ching-Tsun Chou (Tue Sep 09 1997 - 21:50:03 MET DST)
- huffman compresion Isidro Jimenez Ovelar (Fri Sep 05 1997 - 23:49:30 MET DST)
- mapi, iteri, fold_lefti, fold_righti Adam P. Jenkins (Wed Jul 16 1997 - 21:27:40 MET DST)
- Re: Patches for ?line directives? Olivier Montanuy (Thu Jul 10 1997 - 09:29:50 MET DST)
- GC Bug? Adam P. Jenkins (Fri Jun 27 1997 - 11:13:59 MET DST)
- GIF loading/saving library Jun P. Furuse (Thu Jun 26 1997 - 18:13:08 MET DST)
- [Annonce] / [Announce] Caml Light to HTML Francois Pessaux (Wed Jun 25 1997 - 15:04:27 MET DST)
- Contrib Fabrice Le Fessant (Wed Jun 25 1997 - 14:08:34 MET DST)
- Time profiling Andrew Conway (Wed Jun 25 1997 - 03:38:36 MET DST)
- Problem with linking num libary under VC5.0 Andrew Stevens (Mon Jun 23 1997 - 14:21:58 MET DST)
- Twig for ocaml Hendrik Tews (Mon Jun 23 1997 - 11:45:09 MET DST)
- Functors & Classes (was Re: Q: about type inclusion) Christian Boos (Mon Jun 23 1997 - 11:46:04 MET DST)
- Le calcul joint, release 1.01 Luc Maranget (Wed Jun 18 1997 - 18:16:40 MET DST)
- camltk with native code compiler ocamlopt? Basile STARYNKEVITCH (Thu Jun 12 1997 - 18:23:48 MET DST)
- lexing strings Lyn A Headley (Mon Jun 02 1997 - 01:53:12 MET DST)
- Instruction return Pascal Zimmer (Sat May 31 1997 - 19:30:20 MET DST)
- [LONG] Re: types recursifs ... Christian Boos (Wed May 14 1997 - 17:00:13 MET DST)
- AW: ocaml needs users: native code for windows? Carsten Clasohm (Tue May 13 1997 - 10:16:54 MET DST)
- Re: pattern matching Olivier Montanuy (Tue May 06 1997 - 16:03:02 MET DST)
- Will the ocaml-1.05 native compiler work on IRIX5.3 ? Kevin Esler (Thu Apr 03 1997 - 20:29:54 MET DST)
- Images en Caml Charlotte Truchet (Fri Mar 28 1997 - 10:30:07 MET)
- TP d'Informatique en classes préparatoires Jean-Christophe Filliatre (Fri Mar 28 1997 - 09:00:34 MET)
- extend ocamlrun with libunix.a stuff Fritz Heinrichmeyer (Wed Mar 26 1997 - 14:35:31 MET)
- Re: ocaml comfort, where is stringOfCharList? Fritz Heinrichmeyer (Wed Mar 26 1997 - 12:52:22 MET)
- Objective Caml 1.05 Xavier Leroy (Fri Mar 21 1997 - 17:39:17 MET)
- camplp4 0.5 Daniel de Rauglaudre (Tue Mar 11 1997 - 17:24:07 MET)
- Objective Caml 1.04 released Xavier Leroy (Tue Mar 11 1997 - 14:28:47 MET)
- Conversion between file descriptors and strings Pawel Wojciechowski (Mon Mar 10 1997 - 15:01:57 MET)
- Re: ocaml -> java Frank Christoph (Tue Mar 04 1997 - 13:49:08 MET)
- Break Andrew Conway (Mon Feb 24 1997 - 21:00:53 MET)
- Re: Binary Decision Diagram in CAML (fwd) Olivier Michel (Tue Feb 18 1997 - 15:07:56 MET)
- New Book Pierre Weis (Tue Jan 21 1997 - 09:17:38 MET)
- Negative float consts Christian Boos (Tue Jan 14 1997 - 17:19:19 MET)
- camlp4 Daniel de Rauglaudre (Tue Jan 14 1997 - 13:47:44 MET)
- Re: bizarrerie du typage (fwd) no email (Tue Jan 14 1997 - 08:53:30 MET)
- bizarrerie du typage David Monniaux (Sun Jan 12 1997 - 20:19:43 MET)
- Caml Light 0.73 Pierre Weis (Fri Jan 10 1997 - 16:50:02 MET)
- Frontal Windows pour CAML-LIGHT Tarizzo Martial (Sun Dec 29 1996 - 15:50:20 MET)
Last message date: Sat Jan 01 2000 - 02:32:56 MET
Archived on: Sun Jan 02 2000 - 11:58:30 MET
2158 messages sorted by:
[ author ]
[ date ]
[ subject ]
About this archive
Other mail archives
This archive was generated by hypermail 2b29
: Sun Jan 02 2000 - 11:58:30 MET