Archives of the Caml Mailing list by date

Messages sorted by: [ thread ][ subject ][ author ]

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
Re: Piece composition of signatures (& problems derived from them too!) Wolfgang Lux
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
Re: Ocamlopt might output files in another directory! Francois Rouaix
Re: Ocamlopt might output files in another directory! Mark Hayden
Re: Questions about class types Jerome Vouillon
Re: Questions about class types Hendrik Tews
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
Re: meaning of underscores Pierre Weis
meaning of underscores Goffinet
Re: caml under FreeBSD. Jacques GARRIGUE
Re: caml under FreeBSD. Damien Doligez
caml under FreeBSD. Pedro Giffuni
Questions about class types Christian Boos
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
Re: functors and type constraints Jocelyn Serot
match values Quercia
functors and type constraints Pierre BOULET
Re: partial evaluation anyone? Wolfgang Lux
partial evaluation anyone? Thorsten Ohl
cross-compilation Jocelyn Serot
Re: another question on lexer function Pierre Weis
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
Re: lexer function . Xavier Leroy
release of caml2ocaml Bruno Barras
lexer function . Olivier Pons
Re: Q: float arrays Xavier Leroy
Re: Q: float arrays Thorsten Ohl
Re: Q: float arrays Jocelyn Serot
Re: Q: float arrays Xavier Leroy
CAML-Light: compiling toplevel__include Rob Farley
Newton's Algorithm Vincent Jardin
Q: float arrays Jocelyn Serot
Objective Caml 1.03 Xavier Leroy
Re: Constructeurs en O'Caml Jacques GARRIGUE
Re: caml/mac + alpha Claudio Russo
Ocaml-mode Jacques GARRIGUE
Re: type declaration in */mli & *.ml Xavier Leroy
Re: Shared libraries from caml Leszek Holenderski
[O'Caml] Proposal for a modified "send" syntax Christian Boos
Re: lexing__get_next_char ? Ian T Zimmerman
RE: caml/mac + alpha Matias Giovannini
Re: Yet another question about the module system Jocelyn Serot
Re: Shared libraries from caml Xavier Leroy
Re: lexing__get_next_char ? Xavier Leroy
Re: Yet another question about the module system Xavier Leroy
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
Re: Error messages in Caml &co Xavier Leroy
Re: where is 'camldebug'? Xavier Leroy
database Jean-Christophe Filliatre
where is 'camldebug'? sca.bbs@cis.nctu.edu.tw
Error messages in Caml &co Basile Starynkevitch - LETR/IA
Re: Constructeurs en O'Caml Jerome Vouillon
Re: Constructeurs en O'Caml Christian Boos
Re: Constructeurs en O'Caml Vyskocil Vladimir
A small class library Jacques Garrigue
Re: Constructeurs en O'Caml Christian Boos
Constructeurs en O'Caml Vyskocil Vladimir
Re: camllight graphics and video card S3 trio 64V+, etc. Xavier Leroy
Re: ocaml-tex ? 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
Re: Functorized stdlib ??? Jacques GARRIGUE
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
Re: native code compiler and exceptions Christophe Raffalli
Re: native code compiler and exceptions Pierre Weis
Re: native code compiler and exceptions Jocelyn Serot
Objective Caml 1.02 released Xavier Leroy
Re: native code compiler and exceptions Harrison R. Ulrich
Re: native code compiler and exceptions Pierre Weis
native code compiler and exceptions Jocelyn Serot
Re: Need help: O'Caml C Interface Jerome Vouillon
Re: Need help: O'Caml C Interface Juan Jose Quintela Carreira
Re: Need help: O'Caml C Interface Jerome Vouillon
Need help: O'Caml C Interface Frank Christoph
cours d'algorithmique Quercia
Re: Caml Parsing Xavier Leroy
Formal O'Caml Karl Crary
Caml Parsing Stephan Zdancewic
Re: Closed Objects Jerome Vouillon
Re: Caml semantics Xavier Leroy
Re: As-binding #-types/Evaluation order & State Francois Rouaix
Closed Objects Andrew Conway
Re: Merging Modules Mark Hayden
Caml semantics Horst Reichel
Re: As-binding #-types/Evaluation order & State Frank Christoph
Re: As-binding #-types Jerome Vouillon
As-binding #-types Frank Christoph
Re: Merging Modules Xavier Leroy
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
Re: Language improvements (?) Pierre Weis
Language improvements (?) Georg Bauer
Re: Language improvements (?) Michel Mauny
Re: Language improvements (?) Ian T Zimmerman
Re: Some questions about the module system... Wolfgang Lux
Re: Language improvements (?) Frank Christoph
Re: Label Names Space - philosophy or implementation? Xavier Leroy
Re: Some questions about the module system... Xavier Leroy
Re: Language improvements (?) Pierre Weis
Language improvements (?) Frank Christoph
Label Names Space - philosophy or implementation? pbrisset@eis.enac.dgac.fr
Re: Label Names Space - philosophy or implementation? Andrew Conway
constructors for objects in ocaml Hendrik Tews
Re: Label Names Space - philosophy or implementation? Pierre Weis
Re: Some questions about the module system... Wolfgang Lux
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
Re: ocamldep Doug Currie, Flavors Technology, Inc.
Re: ocamldep Ian T Zimmerman
ocamldep Georg Bauer
Re: ocamldep Xavier Leroy
ocamldep Ernesto Posse
Context-free in Caml ESPERET PHILIPPE
Re: Utilisation de Jun P. Furuse
Re: Utilisation de Francois Rouaix
Utilisation de licence informatique
an ocaml performance test Mark Hayden
Re: Lettre de Caml #4 Laurent =?iso-8859-1?Q?Ch=E9no?=
Re: Lettre de Caml #4 elamrani@lifo.univ-orleans.fr
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
Re: down casting ??? Jerome Vouillon
Re: down casting ??? Didier Remy
Re: Automatic coercition to a more general type ? Didier Remy
Ocaml mode? Frank Christoph
Automatic coercition to a more general type ? Christian Boos
down casting ??? FAVRE Jean-Marie
Re: Graphics libraries for Objective Caml? Xavier Leroy
Announce: The V6 Web Engine Francois Rouaix
Re: Probleme d'interface Wolfgang Lux
Re: module aggregation Bernd Grobauer
Re: Probleme d'interface Bouzid Djamila
Re: module aggregation Wolfgang Lux
Re: Probleme d'interface 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
Re: Perplexing type error. Pierre Weis
Perplexing type error. Michael Jones
Re: timer Doug Currie, Flavors Technology, Inc.
socket library for ocaml Robbert VanRenesse
CaML tk lib. under Windows FAQ? Andrew Stevens
Re: timer Robbert VanRenesse
Re: ocaml, inheritance vs. subtyping? Ian T Zimmerman
timer Pierre Weis
Re: ocaml, inheritance vs. subtyping? Didier Remy
ocaml, inheritance vs. subtyping? Ian T Zimmerman
CamlTk releases Francois Rouaix
caml omega converter Franck Delaplace
Re: Oo.copy Jacques GARRIGUE
Re: Oo.copy Andrew Conway
Re: Oo.copy Didier Remy
Re: Oo.copy Jacques GARRIGUE
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: Class variables in O'Caml Roberto Di Cosmo
Re: Objective Caml 1.00 Didier Remy
Re: Class variables in O'Caml David Gurr
Re: type and class definition : recursion Christian Boos
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
Re: Class variables in O'Caml??? + questions Jerome Vouillon
Upcoming O'Labl Jacques GARRIGUE
O'Caml & modules Andrew Conway
Re: Class variables in O'Caml??? + questions Thorsten Ohl
Re: Class variables in O'Caml??? + questions Thorsten Ohl
Re: Class variables in O'Caml??? + questions Christian Boos
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
Re: recursive definition Xavier Leroy
[ANN] camlyacc and camllex for Macintosh without MPW-Shell Simon Clematide
Re: recursive definition Tarizzo Martial
Re: recursive definition Damien Doligez
Re: recursive definition Tarizzo Martial
Re: recursive definition Doug Currie, Flavors Technology, Inc.
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
Re: Relation between functors and polymorphism Wolfgang Lux
Relation between functors and polymorphism Christophe Raffalli
Re: One more question about the module system pbrisset@eis.enac.dgac.fr
Re: One more question about the module system Xavier Leroy
Chamau Daniel de Rauglaudre
Re: Q: Q: Module system and separate compilatioQ: Xavier Leroy
One more question about the module system pbrisset@eis.enac.dgac.fr
Q: Q: Module system and separate compilatioQ: Jocelyn Serot
Re: Module system and separate compilation Christian Boos
Re: Q: Module system and separate compilation Wolfgang Lux
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
Re: Recursion, exception and continuations Didier Remy
Re: Recursion, exception and continuations Francis Dupont
Re: Recursion, exception and continuations Pierre Weis
Recursion, exception and continuations Tarizzo Martial
Re: Command line too long Xavier Leroy
Label Special Light and LablTk Jacques GARRIGUE
Re: definition recursive de valeur Kip Rugger
Re: CSL modules Xavier Leroy
Command line too long Kevin Gallo
Caml FAQ Pierre Weis
Help for Caml light with Windows NT Pascal Nicolas
Re: CSL modules Christophe Raffalli
Re: CSL modules Wolfgang Lux
Re: Calling ioctl_ptr Xavier Leroy
Re: CSL modules Xavier Leroy
Caml Light 0.71 for Macintosh Pierre Weis
CSL modules Guy.Cousineau@ens.fr
Calling ioctl_ptr John Gerard Malecki
Re: stream Michel Mauny
stream Choun-Tong LIEU
Re: definition recursive de valeur Pierre Weis
definition recursive de valeur Michel Levy
Re: affichage de liste pbrisset@eis.enac.dgac.fr
Re: affichage de liste Michel Mauny
Re: affichage de liste Pierre Weis
affichage de liste Luc ALBERT
Re: your mail Pierre Weis
Re: string vs vect + GC question Michel Levy
Re: string vs vect + GC question Xavier Leroy
string vs vect - some results Jocelyn Serot
Re: may be an other bug Xavier Leroy
modules local to functions. (again) Christian Boos
Q: GC and scope Jocelyn Serot
may be an other bug Franck Delaplace
Bugs in CAML for Windows Jean-Marie Geffroy
Re: Moving from caml Light to CSL Christophe Raffalli
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
Re: librairie Xavier Leroy
librairie Guy.Cousineau@ens.fr
Caml Special Light 1.14 Xavier Leroy
Caml Light 0.71 Xavier Leroy
Re: Fonction polymorphe Eric Hassold
Re: Fonction polymorphe Pierre Weis
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
Error message format (was Re: modules local to functions.) Christian Boos
Re: modules local to functions. Andrew Conway
Re: modules local to functions. Xavier Leroy
Re: modules local to functions. Xavier Leroy
Re: modules local to functions. Andrew Conway
Re: modules local to functions. Christian Boos
modules local to functions. Andrew Conway
Re: entiers et reels Xavier Leroy
Re: entiers et reels quercia@u-bourgogne.fr
Re: entiers et reels Thorsten Ohl
Re: entiers et reels Pierre Weis
Re: contribs Xavier Leroy
entiers et reels Fauque UPS
Re: hypertext ML code Thorsten Ohl
Caml Special Light 1.13 Xavier Leroy
Re: Dynamic linking in CSL? Francois Rouaix
Re: Dynamic linking in CSL? Mark C. Chu-Carroll
Re: hypertext ML code Xavier Leroy
contribs Philip A. Viton
Re: Dynamic linking in CSL? Francois Rouaix
Re: hypertext ML code Pierre Weis
Re: Dynamic linking in CSL? Xavier Leroy
Re: hypertext ML code Mark Hayden
Re: hypertext ML code Valerie Menissier-Morain
Another time profiler for Caml Light Mark Hayden
hypertext ML code Mark Hayden
Re: avenir de caml-light Pierre Weis
Dynamic linking in CSL? Mark C. Chu-Carroll
avenir de caml-light Jean Charles Gregoire
Re: a few questions for the CAML community Xavier Leroy
Re: Separate compilation Xavier Leroy
RE: a few questions for the CAML community Kevin Gallo
Separate compilation Emmanuel Engel
a few questions for the CAML community Robbert VanRenesse
Re: Q: How to call a CSL function from C Xavier Leroy
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
Re: Caml Special Light 1.11 Christophe Raffalli
Caml Special Light 1.11 Xavier Leroy
Re: MMM, a Web browser with applets in Caml Special Light Francois Rouaix
Re: MMM, a Web browser with applets in Caml Special Light Stefan Monnier
Re: Caml-Light with TK on the Macintosh David Barton
Re: Caml-Light with TK on the Macintosh Christophe Raffalli
Re: Caml-Light with TK on the Macintosh Francois Rouaix
Caml-Light with TK on the Macintosh David Barton
Re: curried fns Pierre Weis
Re: curried fns Tarizzo Martial
Re: curried fns Fauque UPS
Re: curried fns Laurent CHENO
Re: curried fns John Harrison
curried fns Jocelyn Serot
Re: CAML Light system functions etc. John Harrison
Re: CAML Light system functions etc. Xavier Leroy
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
Re: Quotations in Caml-Special-Light and Caml-Light Daniel de Rauglaudre
Re: Quotations in Caml-Special-Light and Caml-Light Pierre Weis
Re: Why no macros in CAML Light ? U-E59264-Osman Buyukisik
Re: Why no macros in CAML Light ? Doug Currie, Flavors Technology, Inc.
Why no macros in CAML Light ? Hubert Canon
Re: Why no macros in CAML Light ? Christophe Raffalli
Why no macros in CAML Light ? Vale'rie Me'nissier-Morain
Re: Why no macros in CAML Light ? Michel Mauny
Re: Why no macros in CAML Light ? U-E59264-Osman Buyukisik
Re: Why no macros in CAML Light ? Pierre Weis
Why no macros in CAML Light ? Tarizzo Martial
Re: Une idee pour etendre le mecanisme d'exceptions. Pierre Weis
Re: MMM, a Web browser with applets in Caml Special Light Francois Rouaix
Re: MMM, a Web browser with applets in Caml Special Light Christophe Raffalli
MMM, a Web browser with applets in Caml Special Light Francois Rouaix
Re: test with several issues Pierre Weis
Re: pretty-printing facilities Pierre Weis
Re: test with several issues Valerie Menissier-Morain
test with several issues quercia@u-bourgogne.fr
pretty-printing facilities Jocelyn Serot
Caml for Windows Beta 1.0 available Jean-Marie Geffroy
Re: Final_tag and garbage collection Franck Delaplace
Re: Final_tag and garbage collection Damien Doligez
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
Re: [Q]: Mutable variant types in Caml Light 0.7 Pierre Weis
output_value Makofka, Doug
Re: [Q]: Mutable variant types in Caml Light 0.7 Andrew Conway
Re: [Q]: Mutable variant types in Caml Light 0.7 Pierre Weis
[Q]: Mutable variant types in Caml Light 0.7 Christian Boos
Re: caml (special) light and numerics Xavier Leroy
Re: caml (special) light and numerics Stefan Monnier
Re: caml (special) light and numerics Pierre Weis
Re: caml (special) light and numerics Thorsten Ohl
Re: Version 1.1 of the bindlib package: a library for abstract syntax with binder. Christophe Raffalli
Re: caml (special) light and numerics Pierre Weis
Re: caml (special) light and numerics Thorsten Ohl
Re: caml (special) light and numerics Thorsten Ohl
Version 1.1 of the bindlib package: a library for abstract syntax Christophe Raffalli
Re: streams and lazy evaluation Pierre Weis
Re: caml (special) light and numerics Xavier Leroy
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
Re: Caml Special Light 1.07 Christophe Raffalli
Re: CSL questions Xavier Leroy
Re: Caml Special Light 1.07 Xavier Leroy
Re: Caml Special Light 1.07 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
Re: interface to C++ Stefan Monnier
Re: interface to C++ Xavier Leroy
building stubs and modules from ANSI C include files jeff
interface to C++ christ@mdhost.cse.TEK.COM
Re: Suggestions Pierre Weis
using DLL libraries under windows jeff
Re: Suggestions Christophe Raffalli
Re: Suggestions Pierre Weis
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
Re: Constructive criticism Xavier Leroy
Re: Constructive criticism Andrew Conway
Re: Constructive criticism Pierre Weis
Constructive criticism Pierre Weis
Re: Looking for an elegant coding idiom. Andrew Conway
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
Re: omega 2 camllight Francois Rouaix
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
Re: vector dot multiply nikhil@crl.dec.com
Re: vector dot multiply Chet Murthy
Re: vector dot multiply Judicael Courant
Re: vector dot multiply Pascal Nicolas
Re: vector dot multiply Bob Buckley
Re: vector dot multiply Ascander Suarez
Re: vector dot multiply Pierre Weis
vector dot multiply U-E59264-Osman Buyukisik
Re: boolean operators Pierre Weis
boolean operators CALLADINE Pierre
Batch compilation under MS Windows Radek Kanovsky
Re: Suggestion for Caml Light 0.7 for Mac Doug Currie, Flavors Technology, Inc.
Re: Suggestion for Caml Light 0.7 for Mac Graham White
Suggestion for Caml Light 0.7 for Mac Claudio Russo
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
Re: simulation Pierre Weis
simulation Jean Charles Gregoire
Re: cl7 Pierre Weis
Re: bug ? Pierre Weis
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
Re: Dead code removal / cross references Xavier Leroy
Re: Dead code removal / cross references Doug Currie, Flavors Technology, Inc.
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
Re: Runtime statistics Damien Doligez
Runtime statistics John Harrison
Re: Question point fixe Xavier Leroy
Re: Polymorphic comparison Xavier Leroy
Re: Question point fixe Damien Doligez
Re: Polymorphic comparison John Harrison
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
Re: Anyone recompiled CAML-LITE for DOS? Peter Sestoft
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 Christophe Raffalli
Re: Irrelevant variables in patterns John Harrison
Re: Irrelevant variables in patterns Judicael Courant
Re: [Q] How to configure cl386 for Paradise VGA? Xavier Leroy
Re: Irrelevant variables in patterns Xavier Leroy
Re: Irrelevant variables in patterns Chet Murthy
Irrelevant variables in patterns Christophe Raffalli
Irrelevant variables in patterns Christophe Raffalli
Re: Irrelevant variables in patterns Chet Murthy
Irrelevant variables in patterns Christophe Raffalli
Re: Irrelevant variables in patterns Chet Murthy
Irrelevant variables in patterns Christophe Raffalli
Re: Irrelevant variables in patterns Chet Murthy
Re: Irrelevant variables in patterns Damien Doligez
Irrelevant variables in patterns Christophe Raffalli
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
Re: caml and OS/2 Daniel Bourget
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
Re: using sets Xavier Leroy
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
Re: The unsound type checker of Caml Light. Pierre Weis
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
Re: Documentation for the type-checker for Caml Light Didier Remy
Re: Documentation for the type-checker for Caml Light Xavier Leroy
Some questions and proposals... Vale'rie Me'nissier-Morain
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
Re: line editor for camllight Xavier Leroy
Re: Uncaught exception: Out_of_memory Xavier Leroy
Re: line editor for camllight Xavier Leroy
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
Re: Lazy evaluation and caml-light Luis Sanchez Fernandez
caml-light pour Linux Michel Mauny
Existential types variables (unix patch) Michel Mauny
Minor bug in camlyacc found lindig@ips.cs.tu-bs.de
Re: Is this supposed to happen? Xavier Leroy
Is this supposed to happen? Young and Loud
Lazy evaluation and caml-light Christophe Raffalli
Lazy evaluation and caml-light Luis Sanchez Fernandez
Re: fichiers Joel Pinchinat
fichiers Michel Mauny
Caml-Light for the Mac Michel Mauny
release of Caml Light version 0.6 Christophe Raffalli
Re: release of Caml Light version 0.6 Xavier Leroy
release of Caml Light version 0.6 Christophe Raffalli
Re: option -g ?? Xavier Leroy
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: Caml and PCs sd@informatics.rutherford.ac.uk
Re: version PC caml_light 0.5 386 Xavier Leroy
Re: Caml and PCs Xavier Leroy
Re: version PC caml_light 0.5 386 Xavier Leroy
Re: Non-blocking input in caml-light Xavier Leroy
Re: Humpf ... chaines des caracteres sont bien efficace! 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
Re: Printf and friends Xavier Leroy
Re: internals of the compiler Xavier Leroy
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
Re: internals of the compiler dicosmo@dmi.ens.fr
internals of the compiler murthy@margaux
Re: new library modules cousinea@dmi.ens.fr
Re: new library modules cousinea@dmi.ens.fr
Re: sets Pierre Weis
Re: sets Xavier Leroy
Re: new library modules (sets and maps) Benjamin Pierce
sets Xavier Leroy
Re: new library modules (sets and maps) Xavier Leroy
Re: new library modules (sets and maps) Didier Remy
Re: new library modules Damien Doligez
Re: new library modules Xavier Leroy
new library modules Vale'rie Me'nissier-Morain
Re: new library modules cousinea@dmi.ens.fr
new library modules Xavier Leroy
Consing murthy@margaux
Re: Defining own types printers. Xavier Leroy
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
Re: Caml-light et Ultrix Damien Doligez
Caml-light et Ultrix Gaetan Hains
ILOGACCESS murthy@margaux
Re: streams Francis Dupont
Petite programme utilisant les listes paresseux murthy@margaux
streams cr@dcs.ed.ac.uk
Re: streams Xavier Leroy
Re: Stream pattern matching Xavier Leroy
Encore du pattern matching et des streams cr@dcs.ed.ac.uk
Re: Stream patterne matching murthy@margaux
Re: Stream patterne matching Michel Mauny
Stream patterne matching cr@dcs.ed.ac.uk
Re: Stream patterne matching Michel Mauny
flux et filtrage de flux Daniel de Rauglaudre
Stream patterne matching Daniel de Rauglaudre
Stream patterne matching cr@dcs.ed.ac.uk
Re: Stream patterne matching Michel Mauny
Stream patterne matching cr@dcs.ed.ac.uk
Caml Light for Atari ST carrez@cnam.cnam.fr
Re: 1st CFV: comp.lang.ml Greg_Morrisett@VACHE.VENARI.CS.CMU.EDU
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
Re: editeur pour Caml-light sur PC Michel Mauny
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
docs in ascii? 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
Re: CAML on multiple architectures Xavier Leroy
CAML on multiple architectures Paul Steckler
Parallel CAML Daniel de Rauglaudre
Re: 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
Re: Bug in Linker? Damien Doligez
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
Re: Caml Light, PC, floating-point emulation Xavier Leroy
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. Francis Dupont
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 Vale'rie Me'nissier-Morain
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
Re: Infinite Streams in Caml Light 0.5 Michel Mauny
Infinite Streams in Caml Light 0.5 Jerry Hedden
Re: Streams in Caml Light 0.5 Michel Mauny
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
Re: evaluation paresseuse en Caml-Light Michel Mauny
caml & Xwindow Ramon Brena
caml & Xwindow carrez@cnam.cnam.fr
Re: Caml Light for Atari ST 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

Messages sorted by: [ thread ][ subject ][ author ]

This archive was generated by hypermail 1.02.