Archives of the Caml Mailing list by date
Starting: Mon Jan 06 1997 - 12:06:27 MET DST
Ending: Fri Sep 18 1998 - 10:20:53 MET DST
Messages: 666
- ocamlman 2.00 Ken Wakita
- LablGL 0.9 released Jacques GARRIGUE
- Re: Bug converting numbers? Markus Mottl
- Re: Bug converting numbers? Pierre Weis
- Bug converting numbers? Markus Mottl
- Re: socket in the windows port Xavier Leroy
- RE: Caml toplevel thru Web (HTTP or CGI)? Sven
- RE: Caml toplevel thru Web (HTTP or CGI)? Frank A. Christoph
- RE: Caml toplevel thru Web (HTTP or CGI)? Christopher Oliver
- socket in the windows port Friedman Roy
- RE: Caml toplevel thru Web (HTTP or CGI)? Adam P. Jenkins
- RE: Caml toplevel thru Web (HTTP or CGI)? Mitchell, Brian, VBAVACO
- Q: Caml toplevel thru Web (HTTP or CGI)? Basile STARYNKEVITCH
- Re: right hand side of let rec Pierre Weis
- Re: declaration of an infix operator in a .mli file Pierre Weis
- right hand side of let rec Laurent Ch=?ISO-8859-1?Q?=e9no?=
- ocamlopt and ocamldep Christian Lindig
- Re: inheritance for functor ? Jerome Vouillon
- inheritance for functor ? David Monniaux
- Re: VLIW & caml: how? Joel Jones
- ocaml-mode 2.00 Jacques GARRIGUE
- The Objective Label Trilogy, version 2.00 Jacques GARRIGUE
- GeneWeb a genealogy software Daniel de Rauglaudre
- Re: Passing `string option' values between OCaml and C Damien Doligez
- Re: VLIW & caml: how? Ping Hu
- RE: documentation automatique Fabrice Le Fessant
- RE: documentation automatique Ken Wakita
- RE: documentation automatique Jan Skibinski
- Style de programmation =?iso-8859-1?Q?Jean-Charles_Gr=E9goire?=
- RE: Types construits et interface de modules LUTHER Sven
- Re: Types construits et interface de modules Xavier Leroy
- Re: documentation automatique Francois Pessaux
- Re: OCaml 2.0 boos@arthur.u-strasbg.fr
- RE: documentation automatique Adam P. Jenkins
- Re: OCaml 2.0 Jerome Vouillon
- Re: VLIW & caml: how? Christopher Oliver
- inheritance for functor ? Christophe Raffalli
- OCaml 2.0 Vladimir Vyskocil
- Passing `string option' values between OCaml and C Christian Lindig
- Re: documentation automatique Jae-Youn Chung
- Re: Objective Caml 2.00 released Thierry Bravier
- camlp4 2.00-- intermediate version without objects and classes Daniel de Rauglaudre
- [Bug/Feature]: (#meth) syntax is gone ? boos@arthur.u-strasbg.fr
- Encapsulation in Objective Caml Mitchell, Brian, VBAVACO
- Re: =?iso-8859-1?Q?Impl=E9mentation_de_printf?= Xavier Leroy
- Types construits et interface de modules Sven LUTHER
- new Objective Caml tools and libraries Xavier Leroy
- Objective Caml 2.00 released Xavier Leroy
- Re: logiciels libres Xavier Leroy
- Useful Makefile for Ocaml Markus Mottl
- Re: logiciels libres Sven LUTHER
- =?ISO-8859-1?Q?Impl=E9mentation_de_printf?= Alain Frisch
- Re: Marshalling of floats Christopher Oliver
- Re: Marshalling of floats Xavier Leroy
- Marshalling of floats Christopher Oliver
- HEVEA 1.0, traducteur LaTeX -> HTML en Caml Luc Maranget
- ocaml -> Fortran William Chesters
- Re: OLabl bug? Jacques GARRIGUE
- Re: Let rec trouble Christopher Oliver
- Re: winOcaml Gang CHEN
- Re: Let rec trouble Pierre Weis
- Let rec trouble Christopher Oliver
- Re: Thinking about ICFP'98 programming contest... Xavier Leroy
- Thinking about ICFP'98 programming contest... Norman Davis
- please help me! Iman H Poernomo
- Recherche de ctcaml Laurent Thery
- OCAML native code profiler for x86+gcc Aleksey Nogin
- Offre de detachement Pierre Weis
- RE: extensions Frank A. Christoph
- extensions Marc Rouaix
- Announcing fun->pdf Jan Skibinski
- Re: Compiler internals question Xavier Leroy
- Re: Garbage collection qustion Ohad Rodeh
- Compiler internals question Michael Sperber [Mr. Preprocessor]
- Re: Garbage collection qustion Damien Doligez
- (no subject) Ohad Rodeh
- Garbage collection qustion Ohad Rodeh
- Re: ocamldebug must not be stripped! Xavier Leroy
- Re: Functors ... Thorsten Ohl
- Re: Functors ... Xavier Leroy
- my libraries John Carol Langford
- Re: Classe recursive et heritage Sylvain BOULM'E
- Re: per-line comments Pierre Weis
- Call for libraries (English version) SURLOG
- Call for libraries (version française) SURLOG
- ocamldebug must not be stripped! Markus Mottl
- Re: Dynamic usage of Ocaml evaluator? Xavier Leroy
- Re: per-line comments Xavier Leroy
- Re: Byterun question Xavier Leroy
- Classe recursive et heritage Emmanuel Engel
- Re: Questions Francois Rouaix
- Dynamic usage of Ocaml evaluator? Jan Skibinski
- Re: are initial values in class fields mandatory ? (ocaml) Francois Pessaux
- Re: are initial values in class fields mandatory ? (ocaml) Donald Syme
- are initial values in class fields mandatory ? (ocaml) fbesnard
- Byterun question Michael Sperber [Mr. Preprocessor]
- Functors ... William Chesters
- Re: Memoire ecran en Caml Damien Doligez
- cam-light recursive types Paulo Nunes
- Re: co(ntra)-variant subtyping Jacques GARRIGUE
- Re: co(ntra)-variant subtyping Hendrik Tews
- caml-tk under Windows J. M. Molinelli
- Re: Stream parsing - caml light vs. ocaml Toby Moth
- Stream parsing - caml light vs. ocaml Norman Davis
- Re: Utilisation de Camlwin avec CamlLight 0.73 ? Pierre Saunier
- Re: co(ntra)-variant subtyping Didier Remy
- Re: Ocaml to Java Xavier Leroy
- co(ntra)-variant subtyping Hendrik Tews
- Re: Nombre aleatoire Quercia Michel
- Re: Nombre aléatoire. Damien Doligez
- Re: Subtype problem Jacques GARRIGUE
- Nombre aléatoire. Patrice AUFFRET
- Standard ML. A comparison with CAML Dan Arghirescu
- Subtype problem Hendrik Tews
- New version of Tuareg: A Caml mode for Emacs/XEmacs Albert Cohen
- Ocaml to Java Ohad Rodeh
- Re: Is this OK? Damien Doligez
- Ocaml to Java Ohad Rodeh
- Re: Is this OK? Damien Doligez
- Re: A propos de la fonction stat() Francois Rouaix
- Re: RE : RE :Graphisme Francois Rouaix
- Re: Ocamlyacc Francois Rouaix
- Re: ocaml et Unix Xavier Leroy
- Re: Is this OK? Xavier Leroy
- Re: RE : RE :Graphisme Xavier Leroy
- Re: Is this OK? Jean-Christophe Filliatre
- Re: plots of functions Patrick Loiseleur
- (no subject) Quercia Michel
- Re: (*)CaML -> SML ? Emmanuel CHAILLOUX
- Is this OK? N Hur
- A propos de la fonction stat() Berruyer
- RE : RE :Graphisme Patrice AUFFRET
- plots of functions Vincent Poirriez
- ocaml et Unix michel@lami.univ-evry.fr
- Re: Graphisme Xavier Leroy
- Ocamlyacc Petit
- Graphisme Patrice AUFFRET
- Re: (*)CaML -> SML ? / SML -> Caml ? Jacques GARRIGUE
- Re: (*)CaML -> SML ? Daniel de Rauglaudre
- Filename.chop_suffix David Delahaye
- ML Workshop -- Call for Papers Gregory Morrisett
- Re: Non-destructive record update?? Jacques GARRIGUE
- Re: Non-destructive record update?? Pascal Brisset
- Re: Non-destructive record update?? Christophe Raffalli
- Non-destructive record update?? Donald Syme
- Caml sur Rhapsody Pierre Weis
- patch for Ocaml 1.07 on CrayT3E Basile STARYNKEVITCH
- Question about Objective Caml string constant syntax T. Kurt Bond
- Re: dynamic method look-up? Didier Remy
- From bytecode to native code? Gang CHEN
- dynamic method look-up? Eijiro Sumii
- Camlp4 1.07.1 Daniel de Rauglaudre
- Re: operational semantics of = for objects Jacques GARRIGUE
- Re: stdout in Unix module Pierre Weis
- stdout in Unix module Vincent Leleu
- job opportunity, can you help? Melissa Barkan
- Re: type sharing Tyng-Ruey Chuang
- [LONG] Re: Overloading Francois Rouaix
- Re: Overloading Jun P. Furuse
- Re: Overloading Brian Rogoff
- Overloading Adam P. Jenkins
- RE: Overloading Frank A. Christoph
- Overloading Brian Rogoff
- Re: Restrictions of let rec Damien Doligez
- Restrictions of let rec Andreas Rossberg
- Re: O'Caml prettyprinting to TeX/LaTeX anyone? Hendrik Tews
- POP3 to mailbox in caml Christophe Raffalli
- small solved problem linking caml with Fortran Basile STARYNKEVITCH
- O'Caml prettyprinting to TeX/LaTeX anyone? Thorsten Ohl
- local opening Pierre CASTERAN
- Re: gestion du temps en Caml ? GillesDfnx@mail.dotcom.fr
- TIFF loader Vincent Leleu
- Re: gestion du temps en Caml ? Patrick Loiseleur
- Re: gestion du temps en Caml ? Pierre Weis
- Affichage des erreurs OCaml Vyskocil Vladimir
- gestion du temps en Caml ? Berruyer
- Set constraints David Nowak
- Calcul matriciel en Caml, svp. David Nowak
- Re: Caml performance Xavier Leroy
- Re: dynamic linking and C libraries Xavier Leroy
- Re: Weak types ? Pierre Weis
- Re: Weak types ? Simon Helsen
- Re: Re : Weak types ? Simon Helsen
- Re: Re : Weak types ? Pascal Cuoq
- Re: Weak types ? Pierre Weis
- Re : Weak types ? Moreau
- Re: Weak types ? Juan J. Quintela
- Re: bibliotheque autograph Christophe MAURAS
- Re: Weak types ? Simon Helsen
- Weak types ? Pierre CASTERAN
- Caml performance Michael Hicks
- bibliotheque autograph Laurent Ch=?ISO-8859-1?Q?=e9no?=
- dynamic linking and C libraries Scott Alexander
- Re: polymorphic methods in O'Caml (fwd) Didier Remy
- polymorphic methods in O'Caml (fwd) David Monniaux
- Bindlib-2.1 library for binders under OCaml available Christophe Raffalli
- Research Vacancy at Sharp in Oxford Andrew Kay
- Re: Treating arguments that start with `-' as anonymous arguments Damien Doligez
- Treating arguments that start with `-' as anonymous arguments T. Kurt Bond
- bibliotheque arbres, graphes, automates Michel Quercia
- Re: logiciels libres Xavier Leroy
- Re: What exactly can be GC'ed? Damien Doligez
- Re: What exactly can be GC'ed? Ching-Tsun Chou
- Re: logiciels libres Judicael Courant
- logiciels libres Pierre Weis
- index for html version of manual? Joshua D. Guttman
- Re: How to use camllex and camlyacc from camlwin Xavier Leroy
- Caml Light 0.74 Pierre Weis
- Re: What exactly can be GC'ed? Damien Doligez
- How to use camllex and camlyacc from camlwin Marucita
- O'Caml - GNU MP interface David Monniaux
- What exactly can be GC'ed? Ching-Tsun Chou
- objective caml et W95 poirriez
- CAML/MPI v1.1 available Jocelyn Serot
- Wish List / Future direction? Adam Scislowicz
- PhD position at INRIA-Rocquencourt Michel Mauny
- ocamlyacc with friendly dollar-symbols Thierry Bravier
- Objective Label 1.07 Jacques GARRIGUE
- Objective Caml 1.07 released Xavier Leroy
- MMM Release, Calves Release Francois Rouaix
- Type of prefix + and prefix :: Laurent Ch=?ISO-8859-1?Q?=e9no?=
- Grammars and pretty print Daniel de Rauglaudre
- Re: mixed customizable external data types in Caml Damien Doligez
- Re: module thinning in Caml 1.06 Francois Rouaix
- module thinning in Caml 1.06 Scott Alexander
- fun: runtime visualization of ML programs Pascal.Brisset@wanadoo.fr
- OCamllex 1.06 patch - adds let bound regexps Christian Lindig
- mixed customizable external data types in Caml Basile STARYNKEVITCH
- Re: Grammaires et pretty print Pierre Weis
- Re: Grammaires et pretty print Daniel de Rauglaudre
- Re: hacks using camlp4 Daniel de Rauglaudre
- Re: hacks using camlp4 Thierry Bravier
- Re: Gestion des librairies Xavier Leroy
- Grammaires et pretty print Emmanuel Engel
- Re: Marshal module. Xavier Leroy
- Re: Marshal module. Christian Foisy
- Marshal module. Ken Wakita
- Re: Assert_failure exception Pierre Weis
- Re: hacks using camlp4 Michel Mauny
- Re: hacks using camlp4 Daniel de Rauglaudre
- Re: Recursive types in OCaml/OLabl-1.06 Jacques GARRIGUE
- hacks using camlp4 David Monniaux
- camlsearch --- is ocaml version available? Chung Jae-youn
- Re: ocaml-mode 1.06 Fritz Heinrichmeyer
- Recursive types in OCaml/OLabl-1.06 Wolfram Kahl
- Gestion des librairies Emmanuel Engel
- ocaml-mode 1.06 Jacques GARRIGUE
- Re: type recursifs et abreviations cyclique and Co Cuoq Pascal
- Re: Deletion of ioctl_ptr in Caml 1.06 Xavier Leroy
- Re: recursive types Xavier Leroy
- Re: recursive types Jason Hickey
- imenu and ocaml-mode 1.05 Fritz Heinrichmeyer
- OCamlBrowser version 1.06 Jacques GARRIGUE
- Re: type recursifs et abreviations cyclique and Co Jason Hickey
- Re: Feature drawn back in new 1.06 version. Jerome Vouillon
- Deletion of ioctl_ptr in Caml 1.06 Scott Alexander
- Lettre de Caml numero 7 Laurent Ch=?ISO-8859-1?Q?=e9no?=
- Re: type recursifs et abreviations cyclique and Co Emmanuel Engel
- Feature drawn back in new 1.06 version. Francisco Valverde
- Patch "shared-vm" for ocaml-1.06 Fabrice Le Fessant
- Ocaml-1.06: type system changes Jason Hickey
- The Objective Label Trilogy, version 1.06 Jacques GARRIGUE
- Re: bibliotheque de manipulation de graph ? Lyn A Headley
- Compiling native threads in ocaml 1.06 William Chesters
- Re: Native thread in O'Caml 1.06 Xavier Leroy
- Native thread in O'Caml 1.06 Olivier Bouyssou
- Camlp4 1.06 released Daniel de Rauglaudre
- Re: Algorithme de Milner =?us-ascii?Q?=28synth=3D=3Fiso=2D8859=2D1=3FQ=3F=3DE8=3F=3D?= se de type) Didier Remy
- Re: Type-checking bug (or feature?) in O'Caml 1.06 Pierre Weis
- Re: Type-checking bug (or feature?) in O'Caml 1.06 Paul Stodghill
- Re: Type-checking bug (or feature?) in O'Caml 1.06 Pierre Weis
- Type-checking bug (or feature?) in O'Caml 1.06 Paul Stodghill
- Re: Algorithme de Milner (synth=?iso-8859-1?Q?=E8?= se de type) Fredrik Granlund
- Re: Exceptions polymorphes Christophe Raffalli
- Re: Exceptions polymorphes David Monniaux
- New release of OCamlTk41 Francois Rouaix
- bibliotheque de manipulation de graph ? Olivier PONS
- Objective Caml 1.06 released Xavier Leroy
- Exceptions polymorphes Pascal Zimmer
- Re: Modules mutuellement recursifs ? Emmanuel Engel
- Modules mutuellement recursifs ? Vyskocil Vladimir
- interface Caml-Sql David TOULEMONDE
- Algorithme de Milner (synth=?iso-8859-1?Q?=E8?= se de type) Jean Charles Gregoire
- Re: recursive datatypes Michel Quercia
- Re: recursive datatypes Xavier Leroy
- Re: local type within class Xavier Leroy
- installation sur serveur Gerard M. Mamou
- recursive datatypes Simon Helsen
- local type within class Benoit Pasquereau
- Caml/MPI interface v1.0 available Jocelyn Serot
- Annonce/Announce : Caml light 0.73 Amiga Francois Pessaux
- [OCaml:] equality predicates for all abstract data types? Thorsten Ohl
- Re: Caml Programming Environment Jacques GARRIGUE
- Re: Caml Programming Environment Xavier Leroy
- Caml Programming Environment Cesar Lombao
- Re: your mail Pierre Weis
- Re: English version of 'Le langage Caml' MIFUKU Assin-Na-Idia
- Re: English version of 'Le langage Caml' Pierre Weis
- English version of 'Le langage Caml' Vincent Leleu
- Re: module Set Vincent Poirriez
- Re: module Set Stefan Monnier
- Re: module Set Judicael Courant
- Re: module Set Jean-Christophe Filliatre
- Re: 'a -> string ? =?ISO-2022-JP?B?GyRCT0ZFRDd6GyhC?=
- Re: module Set Xavier Leroy
- Re: 'a -> string ? Xavier Leroy
- 'a -> string ? GillesDfnx@mail.dotcom.fr
- module Set Jean-Christophe Filliatre
- times measure Michel Levy
- O'Caml - GNU MP interface David Monniaux
- Re: Ocaml: module Map Xavier Leroy
- Portes ouvertes Pierre Weis
- Re: Neural nets in Caml Andrew Conway
- Neural nets in Caml Vincent Leleu
- Re: type declaration in */mli & *.ml U-E59264-Osman Buyukisik
- Re: type declaration in */mli & *.ml kahl@diogenes.informatik.unibw-muenchen.de
- Re: type declaration in */mli & *.ml Manuel Fahndrich
- Ocaml: module Map Dalila Bakir - Limav
- Re: type declaration in */mli & *.ml Hendrik Tews
- Re: camlex/camlyacc + threads problem Xavier Leroy
- Re: ocaml: demand-driven compilation? Ian T Zimmerman
- Re: camlex/camlyacc + threads problem Xavier Leroy
- Re: Preinitialized executables? Xavier Leroy
- Re: ocaml: demand-driven compilation? William Chesters
- Re: camlex/camlyacc + threads problem Thierry Bravier
- Re: ocaml: demand-driven compilation? Ian T Zimmerman
- ocaml: demand-driven compilation? William Chesters
- Re: Q: Caml for number crunching and/or scripting? William Chesters
- Preinitialized executables? Matti Jokinen
- Q: Caml for number crunching and/or scripting? Basile STARYNKEVITCH
- Re: BDD in O'Caml? michel@lami.univ-evry.fr
- camlex/camlyacc + threads problem Olivier Bouyssou
- BDD in O'Caml? Ching-Tsun Chou
- huffman compresion Isidro Jimenez Ovelar
- Re: Pretty-printer and tabulation boxes Pierre Weis
- Pretty-printer and tabulation boxes Guillaume LATU - STAGIAIRE A FT.BD/CNET/DTL/MSV
- Re: Thread library for ocamlopt? Xavier Leroy
- Re: Thread library for ocamlopt? Thorsten Ohl
- Re: Thread library for ocamlopt? Xavier Leroy
- Re: Foncteurs polymorphes Emmanuel Engel
- Re: Foncteurs polymorphes Jerome Vouillon
- More complete Map library for OCaml Christophe Raffalli
- Thread library for ocamlopt? Ken Wakita
- Foncteurs polymorphes Hugo Herbelin
- Re: Suggested addition to Unix module Judicael Courant
- Lettre de Caml # 6 Laurent Ch=?ISO-8859-1?Q?=e9no?=
- Graphx library Michel Quercia
- Suggested addition to Unix module Adam P. Jenkins
- caml-list out Pierre Weis
- ocamlc compiled in native code Fabrice Le Fessant
- Ensemble, a toolkit for distributed communication in ML Mark Hayden
- Re: Managing module names Fabrice Le Fessant
- Re: about "new" Didier Remy
- Re: about "new" Francois Pessaux
- about "new" Pierre CASTERAN
- Re: Managing module names Judicael Courant
- Re: Stack traces Pierre Weis
- Stack traces Adam P. Jenkins
- Re: Managing module names Frank Christoph
- Re: Managing module names Paul Stodghill
- Re: Managing module names David Monniaux
- Re: OCaml: problems compiling Pierre Weis
- Re: OCaml: problems compiling Joshua D. Guttman
- Managing module names Paul Stodghill
- Order in type definitions, output_value on abstract values Pascal Brisset
- Re: problemes de types Pierre Weis
- Re: OCaml: problems compiling Xavier Leroy
- problemes de types Jean-Claude Laffitte
- Re: mletags for ocaml Francois Rouaix
- OCaml: problems compiling Paul A. Steckler
- New/Nouvelle version d' O'Caml-mode Jacques GARRIGUE
- mletags for ocaml Hendrik Tews
- Re: scanning and parsing short strings Francois Rouaix
- mapi, iteri, fold_lefti, fold_righti Adam P. Jenkins
- Genlex et apostrophe Vincent Balat
- scanning and parsing short strings Christian Lindig
- Re: Patches for #line directives? Xavier Leroy
- Re: Patches for ?line directives? Olivier Montanuy
- Patches for #line directives? Paul Stodghill
- bibtex2html Jean-Christophe Filliatre
- sscanf hack Christian Boos
- Re: String wishes for Ocaml Xavier Leroy
- Re: print and output Pierre Weis
- print and output Adam P. Jenkins
- Re: String wishes for Ocaml Robbert VanRenesse
- print and output Michel Levy
- String wishes for Ocaml Basile STARYNKEVITCH
- Scoping rules Adam P. Jenkins
- foncteurs et polymoprhisme Emmanuel Engel
- Re: GC Bug? Damien Doligez
- GC Bug? Adam P. Jenkins
- GC Bug? Adam P. Jenkins
- GIF loading/saving library Jun P. Furuse
- [Annonce] / [Announce] Caml Light to HTML Francois Pessaux
- Contrib Fabrice Le Fessant
- Time profiling Andrew Conway
- Problem with linking num libary under VC5.0 Andrew Stevens
- Twig for ocaml Hendrik Tews
- Functors & Classes (was Re: Q: about type inclusion) Christian Boos
- Le calcul joint, release 1.01 Luc Maranget
- Re: camltk with native code compiler ocamlopt? Thorsten Ohl
- ps et caml Quercia
- constraint 'a = 'a ref Vyskocil Vladimir
- Re: camltk with native code compiler ocamlopt? Wolfram Kahl
- Re: ps & Caml Jens Kloecker
- Re: ps & Caml Guy.Cousineau@ens.fr
- Re: ps & Caml Michel Quercia
- camltk with native code compiler ocamlopt? Basile STARYNKEVITCH
- Re: re-entrance of ocamlyacc parsers Xavier Leroy
- Re: bytecode "disassembler"? Francois Rouaix
- Re: Unbound row variable in #basic_bloc Jerome Vouillon
- ps & Caml Luc ALBERT
- bytecode "disassembler"? Lyn A Headley
- Re: Paper describing the Garbage collector? Damien Doligez
- Re: Unbound row variable in #basic_bloc Wolfgang Lux
- Paper describing the Garbage collector? Lyn A Headley
- Unbound row variable in #basic_bloc Vyskocil Vladimir
- Re: re-entrance of ocamlyacc parsers Thierry Bravier
- Re: Ocaml et les objets Francois Rouaix
- Re: re-entrance of ocamlyacc parsers David Gurr
- Re: A propos de "this matching case is unused" Pierre Weis
- A propos de "this matching case is unused" Didier Plaindoux
- partial instantiation of a new obj. : bug or feature ? Christian Boos
- re-entrance of ocamlyacc parsers Thierry Bravier
- Interlude Luc ALBERT
- Ocaml et les objets Vyskocil Vladimir
- Re: sequencing Vincent Poirriez
- Re: Instruction return Vincent Poirriez
- Re: sequencing Michel Quercia
- Re: sequencing Jean-Christophe Filliatre
- Re: sequencing Francois Pessaux
- sequencing Jean.Luc.Paillet@lim.univ-mrs.fr
- Re: Instruction return Pierre Weis
- Re: Instruction return Vincent Poirriez
- Re: Instruction return Pierre Weis
- Re: Instruction return Dwight VandenBerghe
- Re: lexing strings Pierre Weis
- Re: Instruction return Pierre Weis
- lexing strings Lyn A Headley
- Instruction return Pascal Zimmer
- Re: Type constraints Wolfgang Lux
- Type constraints Pascal Brisset
- Re: Type constraints Jerome Vouillon
- Re: Type constraints Vale'rie Me'nissier-Morain
- Re: Type constraints Didier Rousseau
- ledit 1.4 Daniel de Rauglaudre
- Type constraints Ernesto Posse
- Re: ocaml prefix syntax Pierre Weis
- ocaml prefix syntax Trent Larson
- ocamlsvga - Objective Caml interface for the SVGAlib Jean-Christophe Filliatre
- Re: ocamlyacc question Xavier Leroy
- ocamlyacc question Dwight VandenBerghe
- [Fwd: Resolution systeme lineaire] Vincent Poirriez
- Re: arity of type constructors Xavier Leroy
- Re: OCaml's subtyping better than advertised? Wolfgang Lux
- ledit 1.3 Daniel de Rauglaudre
- Re: arity of type constructors John Harrison
- OCaml's subtyping better than advertised? Donald Syme
- Re: functors vs classes Francois Rouaix
- Re: types recursifs ... Jerome Vouillon
- ocamlyacc David Monniaux
- functors vs classes Lyn A Headley
- Re: C strings in O'Caml Xavier Leroy
- [LONG] Re: types recursifs ... Christian Boos
- Re: types recursifs ... Emmanuel Engel
- 32-bit integers library Jean-Christophe Filliatre
- Dynamic module creation Christian Boos
- Re: types recursifs ... Sven LUTHER
- Re: stderr Pierpaolo Bernardi
- AW: ocaml needs users: native code for windows? Carsten Clasohm
- C strings in O'Caml Jean-Christophe Filliatre
- Re: ocaml needs users: native code for windows? Andrew Conway
- RE: ocaml needs users: native code for windows? Kevin Esler
- Re: ocaml needs users: native code for windows? Lyn A Headley
- Re: ocaml needs users: native code for windows? Xavier Leroy
- Camlp4 0.6 Daniel de Rauglaudre
- RE: ocaml needs users: native code for windows? Carsten Clasohm
- Re: arity of type constructors Damien Doligez
- Re: arity of type constructors Hubert Canon
- ocaml needs users: native code for windows? Lyn A Headley
- Re: stderr Dave Mason
- Re: arity of type constructors Michel Quercia
- Re: arity of type constructors David Monniaux
- continuations Frank Christoph
- continuations Lyn A Headley
- arity of type constructors Christian Lindig
- Re: pattern matching Stefan Monnier
- Re: functors in batch compilation Francois Rouaix
- Re: pattern matching Olivier Montanuy
- Re: initialization of arrays Christophe Raffalli
- stderr Christian Boos
- Re: types recursifs ... Didier Rousseau
- Re: types recursifs ... Sven LUTHER
- Re: initialization of arrays Pierre Weis
- functors in batch compilation Lyn A Headley
- GNU MP interfacing David Monniaux
- Q:bitmap vers caml C.Devulder
- stderr David Monniaux
- initialization of arrays David Monniaux
- Re: types recursifs ... Didier Rousseau
- Functional programming course using CAML John Harrison
- Re: Interfacing C procedure using an array as parameter ? Xavier Leroy
- Interfacing C procedure using an array as parameter ? Vincent B.G. Leleu
- Xlib Fabrice Le Fessant
- types recursifs ... Sven LUTHER
- Ensemble, a toolkit for distributed communication in ML Mark Hayden
- Re: threads library in Objective Caml Francois Rouaix
- Re: Q: about type inclusion Jerome Vouillon
- ledit 1.2 Daniel de Rauglaudre
- Re: Interfacing C++ code with O'Caml Thierry Bravier
- Interfacing C++ code with O'Caml Vincent
- threads library in Objective Caml Pawel Wojciechowski
- Re: threads library in Objective Caml pcuoq@ens.ens-lyon.fr
- threads library in Objective Caml Frank Christoph
- Re: compiling multifile program Pierre Weis
- compiling multifile program Lyn A Headley
- threads library in Objective Caml Pawel Wojciechowski
- Re: [English only, sorry] O'Labl hands off the standard library? Jun P. Furuse
- Re: [English only, sorry] O'Labl hands off the standard library? Jacques GARRIGUE
- Re: Q: hashtables of parametrized types in Ocaml? Christian Boos
- [English only, sorry] O'Labl hands off the standard library? Ian T Zimmerman
- Re: Q: hashtables of parametrized types in Ocaml? Mark Hayden
- Q: about type inclusion Christian Boos
- Q: hashtables of parametrized types in Ocaml? Basile STARYNKEVITCH
- Re: Will the ocaml-1.05 native compiler work on IRIX5.3 ? Xavier Leroy
- Re: ocaml et les threads Vincent Poirriez
- Will the ocaml-1.05 native compiler work on IRIX5.3 ? Kevin Esler
- Re: O'Caml refman source Xavier Leroy
- Re: ocaml et les threads Xavier Leroy
- O'Caml refman source Stefan Monnier
- ocaml et les threads Olivier Bouyssou
- Re: Weak pointers Daniel de Rauglaudre
- Re: BSD optimized code Jacques GARRIGUE
- micro wish for OCaml: line number support in ocamlyacc & lex Basile STARYNKEVITCH
- Re: Weak pointers Pierre Weis
- Weak pointers Daniel de Rauglaudre
- BSD optimized code Ohad Rodeh
- Re: ocaml inlining Xavier Leroy
- Re: Images en Caml Guy.Cousineau@ens.fr
- Re: Images en Caml Pierre Weis
- Re: Images en Caml Gerard Huet
- Re: Images en Caml David Monniaux
- camldebug Emmanuel Engel
- Images en Caml Charlotte Truchet
- TP d'Informatique en classes préparatoires Jean-Christophe Filliatre
- Re: ocaml inlining Mark Hayden
- extend ocamlrun with libunix.a stuff Fritz Heinrichmeyer
- Re: ocaml comfort, where is stringOfCharList? Fritz Heinrichmeyer
- Re: ocaml inlining Xavier Leroy
- ocaml inlining Mark Hayden
- Objective Label Trilogy 1.05 Jacques GARRIGUE
- Re: Weak pointers Damien Doligez
- Objective Caml 1.05 Xavier Leroy
- Re: Weak pointers Kohler Markus
- Weak pointers Emmanuel Engel
- Re: New C interfaces Xavier Leroy
- Re: parallel ocaml Jocelyn Serot
- Weak pointers (summarize) Kohler Markus
- Re: Weak pointers Wolfgang Lux
- Re: Weak pointers Kohler Markus
- Re: Weak pointers Kohler Markus
- Re: Weak pointers Wolfgang Lux
- Re: Weak pointers Kohler Markus
- Tuareg mode for Emacs/XEmacs (previously caml-mode 0.9.x) Albert Cohen
- PVM and OCAML Jean-Marc Alliot
- Re: Weak pointers Kohler Markus
- parallel ocaml Ward Wheeler
- Re: Weak pointers Damien Doligez
- speed of byte-compiled ocaml considered high Frank Christoph
- Re: Weak pointers Kohler Markus
- Re: Weak pointers Frank Christoph
- speed of byte-compiled ocaml considered high Lyn A Headley
- Objective Label Trilogy, version 1.04 Jacques GARRIGUE
- Re: type error: converting input channel to string list Pierre Weis
- Objective Caml 1.04 released Frank Christoph
- type error: converting input channel to string list Lyn A Headley
- Re: Objective Caml's Unix libraries Alexandre Frey
- Re: Objective Caml's Unix libraries Bruno.Verlyck@inria.fr
- Re: Objective Caml's Unix libraries Xavier Leroy
- Objective Caml's Unix libraries Pawel Wojciechowski
- New C interfaces Andrew Conway
- camplp4 0.5 Daniel de Rauglaudre
- Objective Caml 1.04 released Xavier Leroy
- Conversion between file descriptors and strings Pawel Wojciechowski
- Re: ocaml -> java Frank Christoph
- ocaml -> java bytecode? Lyn A Headley
- Re: ML extension language Francois Pessaux
- Re: ML extension language Francois Rouaix
- Re: ML extension language Robbert VanRenesse
- Re: ML extension language Stefan Monnier
- Re: ML extension language Xavier Leroy
- ML extension language Lyn A Headley
- Re: overview of bootstrapping caml light Xavier Leroy
- Re: your mail Pierre Weis
- Re: finding list's archives Pierre Weis
- overview of bootstrapping caml light Erwan David
- finding list's archives Erwan David
- finding list's archives Lyn A Headley
- overview of bootstrapping caml light Lyn A Headley
- Re: Break Pierre Weis
- Re: string variables in Printf.* calls: Bug, or lack of understanding? Valentin Bonnard
- Break Andrew Conway
- ledit bug "paste" Daniel de Rauglaudre
- Re: ocamlyacc and error recovery Xavier Leroy
- Error recovery in camlyacc Mike Spivey
- wserver Daniel de Rauglaudre
- ocamlyacc and error recovery David Monniaux
- Re: compilation Franck Cassez
- Re: O'Caml next release Jerome Vouillon
- Re: O'Caml next release Xavier Leroy
- O'Caml next release Frank Christoph
- OCAML / OOOS Ludovic Marcotte
- Re: string variables in Printf.* calls: Bug, or lack of understanding? Xavier Leroy
- Re: Documentation on Caml Light runtime Xavier Leroy
- Re: compilation Xavier Leroy
- Re: camltk browser for ocaml sources Francois Rouaix
- Re: compilation David Monniaux
- Re: Binary Decision Diagram in CAML (fwd) Olivier Michel
- camltk browser for ocaml sources Jean-Christophe Filliatre
- string variables in Printf.* calls: Bug, or lack of understanding? T. Kurt Bond
- compilation Jean-Christophe Filliatre
- Documentation on Caml Light runtime Pinku Surana
- Binary Decision Diagram in CAML Franck Cassez
- ledit Daniel de Rauglaudre
- Re: (O)caml and Java Fritz Heinrichmeyer
- O'Caml & 32-bit ints Stephen J Bevan
- Re: (O)caml and Java David Gurr
- Re: Type-checking and raise Pierre Weis
- Type-checking and raise Denis BARTHOU
- Beautified caml.ps Esperet Philippe
- Re: Operateurs < et = Pierre Weis
- cours d'informatique, Denis Monasse Denis MONASSE
- Operateurs < et = Valentin Bonnard
- Re: ergonomie du compilateur Donald Syme
- Re: Constructors in camllight vs. ocaml Xavier Leroy
- Re: Alias and Tuple patterns Xavier Leroy
- Re: ergonomie du compilateur Xavier Leroy
- Re: (O)caml and Java Fritz Heinrichmeyer
- Re: Limitations du filtrage Pierre Weis
- Limitations du filtrage Valentin Bonnard
- Alias and Tuple patterns Yann Coscoy
- Polycopie d'algorithmique Quercia
- (O)caml and Java Frank Christoph
- Re: ergonomie du compilateur Ian T Zimmerman
- Re: ergonomie du compilateur Jacques GARRIGUE
- Re: ergonomie du compilateur Frank Christoph
- Camouflage 1.0 Robbert VanRenesse
- Re: ergonomie du compilateur David Gurr
- Re: ergonomie du compilateur Hendrik Tews
- Re: ergonomie du compilateur Claude Marche
- Re: ergonomie du compilateur Xavier Leroy
- Re: ergonomie du compilateur Emmanuel Engel
- Re: ergonomie du compilateur Quercia
- New Book Pierre Weis
- Re: ergonomie du compilateur Pierre Weis
- Constructors in camllight vs. ocaml Simon Clematide
- New Caml mode for Emacs/XEmacs Albert Cohen
- ergonomie du compilateur David Monniaux
- Re: Negative float consts Pierre Weis
- Negative float consts Christian Boos
- camlp4 Daniel de Rauglaudre
- Re: bizarrerie du typage (fwd) Pierre Weis
- Re: bizarrerie du typage Eric HASSOLD
- bizarrerie du typage David Monniaux
- Caml Light 0.73 Pierre Weis
- Frontal Windows pour CAML-LIGHT Tarizzo Martial
Last message date: Fri Sep 18 1998 - 10:20:53 MET DST
Archived on: Fri 18 Sep 1998 - 10:27:00 MET DST
This archive was generated by hypermail 1.02.