Archives of the Caml Mailing list by thread
Starting: Wed Sep 30 1992 - 00:00:-56375 MET
Ending: Fri Dec 20 1996 - 00:00:-44916 MET
Messages: 740
- Caml Light 0.72 Pierre Weis
- Q: external data in Ocaml 1.03 Basile STARYNKEVITCH
- Lettre de Caml No 5 Pierre Weis
- Private methods (was Re: Questions about class types) Christian Boos
- Re: Questions about class types Jerome Vouillon
- Piece composition of signatures (& problems derived from them too!) Francisco J. Valverde Albacete
- patch recherche d'acquereur Stefan Monnier
- elementary stream question Prashanth Mundkur
- building a toplevel Quercia
- O'Caml into Java David Nowak
- stream feature poirriez
- Ocamlopt might output files in another directory! Basile STARYNKEVITCH
- O'Caml / C++ interfacing Christopher Jeris
- Re: debugging/tracing: any? Christophe Raffalli
- meaning of underscores Goffinet
- caml under FreeBSD. Pedro Giffuni
- Questions about class types Hendrik Tews
- Re: Some cosmetics problems with ocaml Wolfgang Lux
- Some cosmetics problems with ocaml Emmanuel Engel
- automates Christophe PRIEUR [Choffrut]
- Ocaml-mode was updated Jacques GARRIGUE
- Re: match values (fwd) Pierre Weis
- RE: match values QUERCIA Michel
- Re: match values Pierre Weis
- Re: functors and type constraints Christian Boos
- match values Quercia
- functors and type constraints Pierre BOULET
- partial evaluation anyone? Thorsten Ohl
- cross-compilation Jocelyn Serot
- another question on lexer function Olivier Pons
- caml tags Gilles Defourneaux
- Controlling inlining [was Re: Q: float arrays] rowan+@cs.cmu.edu
- Caml Light 7.1 for Mac Matias Giovannini
- Textboxes in Caml/Tk Rob Farley
- release of caml2ocaml Bruno Barras
- lexer function . Olivier Pons
- CAML-Light: compiling toplevel__include Rob Farley
- Newton's Algorithm Vincent Jardin
- Q: float arrays Jocelyn Serot
- Objective Caml 1.03 Xavier Leroy
- Ocaml-mode Jacques GARRIGUE
- [O'Caml] Proposal for a modified "send" syntax Christian Boos
- RE: caml/mac + alpha Matias Giovannini
- type declaration in */mli & *.ml Basile STARYNKEVITCH
- CaML and Databases (fwd) Xesus Maria Lopez Alvarez
- Yet another question about the module system Jocelyn Serot
- lexing__get_next_char ? Ian T Zimmerman
- caml/mac + alpha Bruno Petazzoni
- Shared libraries from caml Leszek Holenderski
- Re: Error messages in Caml &co Ian T Zimmerman
- database Jean-Christophe Filliatre
- where is 'camldebug'? sca.bbs@cis.nctu.edu.tw
- Error messages in Caml &co Basile Starynkevitch - LETR/IA
- A small class library Jacques Garrigue
- Constructeurs en O'Caml Vyskocil Vladimir
- Re: camllight graphics and video card S3 trio 64V+, etc. Xavier Leroy
- camllight graphics and video card S3 trio 64V+, etc. Jean-Christophe Filliatre
- New Introductory book (in German) using Caml light Prof.Dr.J.Wolff v. Gudenberg
- Caml on TAP Vincent Leleu
- ocaml-tex ? Christine Paulin
- Functorized stdlib ??? Utilisateur FNET
- ocamlc syntax and -i option Utilisateur FNET
- O'Labl/LablTk/LablBrowser/OCamlBrowser version 1.02 Jacques Garrigue
- Re: native code compiler and exceptions Jocelyn Serot
- Objective Caml 1.02 released Xavier Leroy
- native code compiler and exceptions Jocelyn Serot
- Need help: O'Caml C Interface Frank Christoph
- cours d'algorithmique Quercia
- Formal O'Caml Karl Crary
- Caml Parsing Stephan Zdancewic
- Re: As-binding #-types/Evaluation order & State Francois Rouaix
- Closed Objects Andrew Conway
- Caml semantics Horst Reichel
- As-binding #-types Frank Christoph
- Re: Pattern Matching Frank Christoph
- Merging Modules Vyskocil Vladimir
- Re: Pattern Matching Pierre Weis
- Pattern Matching Ernesto Posse
- Horus/ML, a distributed communication toolkit for Objective Caml Mark Hayden
- Parseurs de precedence Matias Giovannini
- O'CamlBrowser Jacques GARRIGUE
- O'Caml for DOS Georg Bauer
- Language improvements (?) Georg Bauer
- Re: Some questions about the module system... Wolfgang Lux
- Language improvements (?) Frank Christoph
- constructors for objects in ocaml Hendrik Tews
- Label Names Space - philosophy or implementation? John Gerard Malecki
- Some questions about the module system... Francisco J. Valverde
- ocamldep Georg Bauer
- mode ocaml/xemacs poirriez
- Camllorder pour Objective caml ? Vyskocil Vladimir
- ocamldep Georg Bauer
- Re: ocamldep Xavier Leroy
- ocamldep Ernesto Posse
- Context-free in Caml ESPERET PHILIPPE
- Utilisation de licence informatique
- an ocaml performance test Mark Hayden
- Lettre de Caml #4 Laurent =?iso-8859-1?Q?Ch=E9no?=
- IO on serial port with Caml Light Georg Bauer
- IO on serial port with Caml Light Jean-Christophe Filliatre
- Re: a perplexing difference Pierre Weis
- Patch1 for Caml Light version of CamlTk4 Francois Rouaix
- a perplexing difference Goffinet
- Ocaml mode? Frank Christoph
- Automatic coercition to a more general type ? Christian Boos
- down casting ??? FAVRE Jean-Marie
- Announce: The V6 Web Engine Francois Rouaix
- Re: module aggregation Wolfgang Lux
- Objective Label 1.01 Jacques GARRIGUE
- Graphics libraries for Objective Caml? Matti Jokinen
- Probleme d'interface Bouzid Djamila
- module aggregation Franck Delaplace
- Objective Caml 1.01 Xavier Leroy
- Perplexing type error. Michael Jones
- socket library for ocaml Robbert VanRenesse
- CaML tk lib. under Windows FAQ? Andrew Stevens
- timer Pierre Weis
- ocaml, inheritance vs. subtyping? Ian T Zimmerman
- CamlTk releases Francois Rouaix
- caml omega converter Franck Delaplace
- Oo.copy ESPERET PHILIPPE
- csl-> pb avec les fonctions dans le module Bouzid Djamila
- Horus/ML, a distributed communication toolkit for Objective Caml Mark Hayden
- O'Labl and LablTk/O'Labl released Jacques GARRIGUE
- Re: Class variables in O'Caml C.Devulder
- Re: Objective Caml 1.00 Didier Remy
- Re: Class variables in O'Caml David Gurr
- type and class definition : recursion pbrisset@eis.enac.dgac.fr
- Re: Class variables in O'Caml??? + questions David Gurr
- Re: Class variables in O'Caml Chet Murthy
- O'Caml & modules Andrew Conway
- Re: Objective Caml 1.00 Xavier Leroy
- Class variables in O'Caml??? Thorsten Ohl
- another time-based profiler Mark Hayden
- Objective Caml 1.00 Xavier Leroy
- compilateur natif Caml Special Light pour 680x0 ? Bertrand JEANNET
- time-based profiler for Caml Special Light Mark Hayden
- camlot65 Pierre Weis
- new Caml mode for Emacs available Ian T Zimmerman
- [ANN] camlyacc and camllex for Macintosh without MPW-Shell Simon Clematide
- recursive definition QUERCIA Michel
- Caml Special Light Bouzid Djamila
- caml2csl V1.0 Bruno Barras
- Bignums by default? John Harrison
- announce for Lettre de Caml 3 Laurent =?iso-8859-1?Q?Ch=E9no?=
- MMM, a Web browser with applets in Caml (release 0.30beta) Francois Rouaix
- Relation between functors and polymorphism Christophe Raffalli
- Chamau Daniel de Rauglaudre
- One more question about the module system pbrisset@eis.enac.dgac.fr
- Q: Q: Module system and separate compilatioQ: Jocelyn Serot
- Re: Behavior of csldep Xavier Leroy
- Q: Module system and separate compilation Jocelyn Serot
- Behavior of csldep Kevin Gallo
- Caml Special Light 1.15 Xavier Leroy
- IO in CSL threads Thierry SALSET
- IO in CSL threads Thierry SALSET
- Caml Light performance tests? Mark Hayden
- New release of Caml Light for Windows Jean-Marie Geffroy
- Recursion, exception and continuations Tarizzo Martial
- Re: Command line too long Xavier Leroy
- Label Special Light and LablTk Jacques GARRIGUE
- Command line too long Kevin Gallo
- Caml FAQ Pierre Weis
- Help for Caml light with Windows NT Pascal Nicolas
- Caml Light 0.71 for Macintosh Pierre Weis
- CSL modules Guy.Cousineau@ens.fr
- Calling ioctl_ptr John Gerard Malecki
- stream Choun-Tong LIEU
- definition recursive de valeur Michel Levy
- Re: affichage de liste Michel Mauny
- Re: affichage de liste Pierre Weis
- affichage de liste Luc ALBERT
- Re: string vs vect + GC question Michel Levy
- string vs vect - some results Jocelyn Serot
- Q: GC and scope Jocelyn Serot
- may be an other bug Franck Delaplace
- Bugs in CAML for Windows Jean-Marie Geffroy
- about graphics Bernard Novelli
- Moving from caml Light to CSL Guy.Cousineau@ens.fr
- camllight escape Vincent PROSPER
- value input_image : in_channel -> image ??? Jocelyn Serot
- librairie Guy.Cousineau@ens.fr
- Caml Special Light 1.14 Xavier Leroy
- Caml Light 0.71 Xavier Leroy
- Fonction polymorphe Hubert Canon
- MMM, a Web browser with applets in Caml Special Light Francois Rouaix
- v1.1 of the caml package for LaTeX Jens Kloecker
- modules local to functions. Andrew Conway
- entiers et reels Fauque UPS
- Caml Special Light 1.13 Xavier Leroy
- contribs Philip A. Viton
- Re: Dynamic linking in CSL? Xavier Leroy
- Another time profiler for Caml Light Mark Hayden
- hypertext ML code Mark Hayden
- Dynamic linking in CSL? Mark C. Chu-Carroll
- avenir de caml-light Jean Charles Gregoire
- RE: a few questions for the CAML community Kevin Gallo
- Separate compilation Emmanuel Engel
- a few questions for the CAML community Robbert VanRenesse
- Stages de DEA Didier Remy
- Q: How to call a CSL function from C Leszek.Holenderski@gmd.de
- A new caml-tex Jens Kloecker
- Caml Dim Bruno Blanchet
- For Windows users : Help file and front-end for Caml-Light Tarizzo Martial
- CSL-1.12 and CamlTK4, text tag problem Mark C. Chu-Carroll
- a csl program Jens Kloecker
- Caml Special Light 1.12 Xavier Leroy
- Caml Special Light 1.11 Xavier Leroy
- Caml-Light with TK on the Macintosh David Barton
- curried fns Jocelyn Serot
- CAML Light system functions etc. John Harrison
- Precisions about quotations Daniel de Rauglaudre
- Re: Quotations in Caml-Special-Light and Caml-Light Michel Mauny
- Quotations in Caml-Special-Light and Caml-Light Daniel de Rauglaudre
- Why no macros in CAML Light ? Hubert Canon
- Why no macros in CAML Light ? Vale'rie Me'nissier-Morain
- Why no macros in CAML Light ? Tarizzo Martial
- Re: Une idee pour etendre le mecanisme d'exceptions. Pierre Weis
- MMM, a Web browser with applets in Caml Special Light Francois Rouaix
- test with several issues quercia@u-bourgogne.fr
- pretty-printing facilities Jocelyn Serot
- Caml for Windows Beta 1.0 available Jean-Marie Geffroy
- Foreign language in error messages Gerard BECHER
- mkdepend for caml programs Robbert VanRenesse
- Caml Special Light 1.10 Xavier Leroy
- Final_tag and garbage collection Robbert VanRenesse
- A (tiny) time-profiler for Caml-Light Christophe Raffalli
- A (slightly) better camllex Christophe Raffalli
- CamlLight on mac Lars G Johnsen
- question of a layman Robbert VanRenesse
- Re: output_value Pierre Weis
- output_value Christian Boos
- output_value Makofka, Doug
- [Q]: Mutable variant types in Caml Light 0.7 Christian Boos
- Re: Version 1.1 of the bindlib package: a library for abstract syntax with binder. Christophe Raffalli
- Version 1.1 of the bindlib package: a library for abstract syntax Christophe Raffalli
- streams and lazy evaluation Laurent CHENO
- Alpha release of Caml Light for Windows Jean-Marie Geffroy
- caml (special) light and numerics Thorsten Ohl
- Available now: A library for Abstract Syntax with Binder. Christophe Raffalli
- CSL questions Emmanuel Engel
- Caml Special Light 1.07 Xavier Leroy
- Re: interface to C++ Jean-Marie Geffroy
- Re: building stubs and modules from ANSI C include files Xavier Leroy
- building stubs and modules from ANSI C include files jeff
- interface to C++ christ@mdhost.cse.TEK.COM
- using DLL libraries under windows jeff
- Suggestions Christophe Raffalli
- Release 1.06 of Caml Special Light Xavier Leroy
- MMM, a Web browser in Caml Light Francois Rouaix
- Caml Tk interface for Tk 4.0 (release beta1) Francois Rouaix
- Constructive criticism Pierre Weis
- Algorithme pour la logique en Caml-Light. Christophe Raffalli
- Looking for an elegant coding idiom. John Gerard Malecki
- new release of camlwin SAUNIER Pierre
- SYNGEN v0.3 Jens Kloecker
- Compiling caml-light for the Mac Richard Bornat
- omega 2 camllight Franck Delaplace
- final release of Caml Light 0.7 Xavier Leroy
- Caml Light, release 0.7 beta 5 Xavier Leroy
- Using camlyacc Luke Taylor
- vector dot multiply U-E59264-Osman Buyukisik
- boolean operators CALLADINE Pierre
- Batch compilation under MS Windows Radek Kanovsky
- Nouveau livre avec Caml Pierre Weis
- Caml Light, release 0.7 beta 4 Xavier Leroy
- contributions Pierre Weis
- beta release of Caml Light 0.7 for the PC Xavier Leroy
- simulation Jean Charles Gregoire
- Re: camlLight sur PC (fwd) Linda Djezzar
- cl7 Emmanuel.Engel@lri.fr
- bug ? Jean-Christophe Filliatre
- first beta release of Caml Light 0.7 Xavier Leroy
- pretty Daniel de Rauglaudre
- camlwin Pierre Weis
- Caml Light for Windows Jean-Christophe Filliatre
- Camlot 0.64 Regis Cridlig
- useless #open Pierre CREGUT - FT.CNET/LAA/EIA/EVP
- Caml Tk interface (release alpha3) Francois Rouaix
- Macintosh: caml mode for Alpha Claudio Russo
- Dead code removal / cross references Judicael Courant
- Where is the 'str' library ? boos@dpt-info.u-strasbg.fr
- equality Pierre Weis
- archive Pierre Weis
- mail-list archive ? boos@dpt-info.u-strasbg.fr
- Runtime statistics John Harrison
- Re: Polymorphic comparison Xavier Leroy
- Polymorphic comparison Franck.Delaplace@lri.fr
- Question point fixe Pierre Weis
- Polymorphic comparison Judicael Courant
- Polymorphic comparison Pierre Weis
- Polymorphic comparison Pierre Weis
- TR now *really* available (with apologies) Dominic Duggan
- Anyone recompiled CAML-LITE for DOS? Dwight Tuinstra
- technical report available: "kinded parametric overloading" Dominic Duggan
- JFLA'95 Veronique Donzeau-Gouge
- Re: System interface Xavier Leroy
- System interface John Harrison
- TCL/TK interface for Caml Light Pierre Weis
- equality between functions Pierre Weis
- equality between functions Martin Mueller
- Caml Light version 0.61 pour le Macintosh Damien Doligez
- Patch de caml-light sur MAC Miche Augeraud
- New release of Bigloo Pierre Weis
- Irrelevant variables in patterns calla@knuth.univ-poitiers.fr
- Irrelevant variables in patterns Judicael Courant
- [Q] How to configure cl386 for Paradise VGA? Kurt Wm. Hemr
- WWW server for Caml and related Francois Rouaix
- caml and OS/2 Mark Ruys
- Patch Caml Light 0.6 -> 0.61 Xavier Leroy
- interface entre caml et C lprylli@cs.utk.edu
- "it" John Harrison
- bignums Pierre Weis
- Bignums John Harrison
- Patch for Caml Light on HP-UX 9.01 Damien Doligez
- Patch for the Caml-Light runtime. Damien Doligez
- using sets Pierre Weis
- using sets Eric Dujardin
- Info request Pierre Weis
- Info request Pierre Weis
- Installing parsers and printers Pierre Weis
- Installing parsers and printers John Harrison
- Re: Bug in equality testing? Xavier Leroy
- Bug in equality testing? Vale'rie Me'nissier-Morain
- Bug in equality testing? John Harrison
- Re: polymorphic references [was: unsound typechecker] Xavier Leroy
- The unsound type checker of Caml Light. Martin Elsman
- Re: Structure sharing Chet Murthy
- Re: Structure sharing Xavier Leroy
- Sharing Pierre Weis
- Structure sharing John Harrison
- Bigloo compilation Pierre Weis
- bigloo Pierre Weis
- Documentation for the type-checker for Caml Light Martin Elsman
- Camlot 0.6 Regis Cridlig
- CFP-ML'94 Didier Remy
- Times in camllight Christophe Raffalli
- Some questions and proposals... Francisco Valverde Albacete
- lexer parser fortran77 Vijay Saravane
- Uncaught exception: Out_of_memory Jairo A. Medina
- line editor for camllight Jairo A. Medina
- MLgraph Emmanuel.Chailloux@ens.fr
- MLgraph U-E59264-Osman Buyukisik
- caml 0.6 for Atari carrez@cnam.cnam.fr
- caml-light pour Linux Michel Mauny
- Existential types variables (unix patch) Michel Mauny
- Minor bug in camlyacc found lindig@ips.cs.tu-bs.de
- Is this supposed to happen? Young and Loud
- Lazy evaluation and caml-light Luis Sanchez Fernandez
- fichiers Michel Mauny
- Caml-Light for the Mac Michel Mauny
- option -g ?? Emmanuel Thouvenin
- release of Caml Light version 0.6 Xavier Leroy
- Nouveaux Livres Pierre Weis
- mode emacs Eric Dujardin
- Camlot 5.1 Regis Cridlig
- pretty-printing Pierre Weis
- Information Jose Juan Pazos Arias
- camlot-patches Pierre Weis
- Editeurs pour Caml-Light et PC Pierre Weis
- Optimizing compiler for Caml Light Pierre Weis
- Re: version PC caml_light 0.5 386 Xavier Leroy
- Re: version PC caml_light 0.5 386 Xavier Leroy
- Caml and PCs popineau@ese-metz.fr
- empty list marche@lri.fr
- Non-blocking input in caml-light Benjamin Pierce
- Humpf ... chaines des caracteres sont bien efficace! murthy@margaux
- empty list Stefan Krischer
- [suit@server.cs.Virginia.edu: SUIT] Christophe Raffalli
- Printf and friends murthy@margaux
- Bug report: Caml-Light 0.5 murthy@margaux
- internals of the compiler murthy@margaux
- sets Xavier Leroy
- Re: new library modules (sets and maps) Didier Remy
- new library modules Xavier Leroy
- Consing murthy@margaux
- Re: Defining own types printers. Xavier Leroy
- Defining own types printers. michel@lri.fr
- Re-Editeurs pour PC Pierre Weis
- Caml_Light sur PC Daniel Bourget
- Caml-light et Ultrix Gaetan Hains
- ILOGACCESS murthy@margaux
- Petite programme utilisant les listes paresseux murthy@margaux
- Encore du pattern matching et des streams cr@dcs.ed.ac.uk
- flux et filtrage de flux Daniel de Rauglaudre
- Stream patterne matching Daniel de Rauglaudre
- Stream patterne matching cr@dcs.ed.ac.uk
- Caml Light for Atari ST carrez@cnam.cnam.fr
- 1st CFV: comp.lang.ml Greg_Morrisett@VACHE.VENARI.CS.CMU.EDU
- caml.el Vale'rie Me'nissier-Morain
- caml.el Bruno SALINIER
- Re: editeur pour Caml-light sur PC carrez@cnam.cnam.fr
- Port of Caml Light to the Dec Alpha Xavier Leroy
- GnuEmacs tags for Caml Light Francois Rouaix
- Filtrage curryfie et ambiguite syntaxique Vale'rie Me'nissier-Morain
- filtrage curryfie Martin Jourdan
- docs in ascii? Roger Maynard
- [foissott@poly.polytechnique.fr: CAML (X90)] Martin Jourdan
- docs in ascii? Roger Maynard
- editeur pour Caml-light sur PC Frederic Eyssette
- Convention on exceptions for caml-light murthy@margaux
- @margaux.inria.fr Vale'rie Me'nissier-Morain
- Programmation systeme en Caml Light Xavier Leroy
- ledit (fep like) Daniel de Rauglaudre
- Caml vs. Caml Light Xavier Leroy
- CAML on multiple architectures Paul Steckler
- Parallel CAML Daniel de Rauglaudre
- Parallel CAML sd@informatics.rutherford.ac.uk
- Is there a caml.el file ? michel@lri.fr
- Represetation of data, and structural equality murthy@margaux
- Represetation of data, and structural equality murthy@margaux
- fep Daniel de Rauglaudre
- Re: fep... Daniel de Rauglaudre
- Bug in Linker? Shail Aditya
- Re: your mail Michel Mauny
- MLgraph cousinea@dmi.ens.fr
- MLgraph cousinea@dmi.ens.fr
- PB with caml-light on a PC murthy@margaux
- uncompress CAML-Light 0.4 for Amiga-Commodore Juan C. Gonzalez Moreno
- Matrices in CAML Gerard.Becher@univ-caen.fr
- Installation CAML (strong) sous VMS Gerard.Becher@univ-caen.fr
- Re: Porting caml (and coq) to HP/UX. emmanuel@dmi.ens.fr
- Manual Juan C. Gonzalez Moreno
- Re: Caml users mailing list Gerard Becher
- BigNums in Caml Light 0.5 HEDDEN@ESDSDF.dnet.ge.com
- Caml Light for Atari ST carrez@cnam.cnam.fr
- Re: What about infix operator? Xavier Leroy
- Infinite Streams in Caml Light 0.5 Jerry Hedden
- Streams in Caml Light 0.5 HEDDEN@ESDSDF.dnet.ge.com
- A "generic" lexer in Caml Light mariano@soleil.decnet.citilille.fr
- A "generic" lexer in Caml Light mariano@soleil.decnet.citilille.fr
- A "generic" lexer in Caml Light boulang@lifl.fr
- A "generic" lexer in Caml Light Xavier Leroy
- bibliotheques?? mariano@soleil.decnet.citilille.fr
- Re: Enrichir 'camltop' avec des primitives C Xavier Leroy
- Enrichir 'camltop' avec des primitives 'crites en C. Claude Fleurey
- compr'hension des m'canismes de base. Claude Fleurey
- Possible bug report in CAML Light V0.5 Xavier Leroy
- Re: bitwise not Xavier Leroy
- Lazy evaluation in Caml Light Xavier Leroy
- Not Not ? redon@masi.ibp.fr
- caml & Xwindow Ramon Brena
- caml & Xwindow carrez@cnam.cnam.fr
- Cours CAML-Ada Michel Lemaitre
- Caml Light for Atari ST Michel Lemaitre
- caml & Xwindow mariano@soleil.decnet.citilille.fr
- CAML install Claude Fleurey
Last message date: Fri Dec 20 1996 - 00:00:-44916 MET
Archived on: Mon 02 Mar 1998 - 15:12:01 MET
This archive was generated by hypermail 1.02.