From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA32221 for caml-redistribution; Fri, 13 Nov 1998 09:42:33 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA19603 for ; Fri, 13 Nov 1998 09:05:31 +0100 (MET) Received: from xr4-gw.atlas.fr (xr4-a.atlas.fr [194.51.9.23]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA07191 for ; Fri, 13 Nov 1998 09:05:30 +0100 (MET) X400-Received: by /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Fri, 13 Nov 1998 09:04:50 +0100 X400-Received: by mta xr4-gw.atlas.fr in /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Fri, 13 Nov 1998 09:04:50 +0100 X400-Received: by /ADMD=ATLAS/C=FR/; Relayed; Fri, 13 Nov 1998 09:04:39 +0100 X400-Received: by /PRMD=francetelecom/ADMD=atlas/C=fr/; Relayed; Fri, 13 Nov 1998 09:04:23 +0100 Date: Fri, 13 Nov 1998 09:04:23 +0100 X400-Originator: gilles.falcon@francetelecom.fr X400-Recipients: non-disclosure:; X400-MTS-Identifier: [/PRMD=francetelecom/ADMD=atlas/C=fr/;059DE364BE807041-mtaFT1] Original-Encoded-Information-Types: ia5-text,iso (1) (0) iso.0 (10021) iso.0.10021 (7) iso.0.0.7 (1) iso.0.0.0.1 (0) iso.0.0.0.0.0 (1),iso (1) (0) iso.0 (10021) iso.0.10021 (7) iso.0.0.7 (1) iso.0.0.0.1 (0) iso.0.0.0.0.0 (6),iso (1) (0) iso.0 (10021) iso.0.10021 (7) iso.0.0.7 (1) iso.0.0.0.1 (0) iso.0.0.0.0.0 (100) X400-Content-Type: P2-1988 (22) Content-Identifier: 059DE364BE807041 Priority: Urgent Alternate-Recipient: Allowed From: FALCON Gilles DVRN Message-ID: <059DE364BE807041*/G=gilles/S=falcon/O=msm14/PRMD=francetelecom/ADMD=atlas/C=fr/@MHS> To: Maltey UPS (Non Receipt Notification Requested) (IPM Return Requested) Cc: "caml-list@inria.fr" (Non Receipt Notification Requested) (IPM Return Requested) Subject: RE: documentations en ligne pour caml-light/emacs/linux Discarded-X400-IPMS-Extensions: iso (1) (3) (6) (1) (7) internet.7 (1) internet.7.1 (1) internet.7.1.1 (3) MIME-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable Sender: weis il suffit de lancer un navigateur sur la documentation html de caml.(netscape, lynx, arena, mmm) C'est pratique en mettant dans le bookmark les pages souvent utilisées= . Cordialement ---------- De: Maltey UPS A: caml-list@inria.fr Cc: Maltey UPS Objet: documentations en ligne pour caml-light/emacs/linux Date: vendredi 13 novembre 1998 08:49 J'utilise caml en TP d'informatique sous windows pour les ilhves de math= s- spi MP. Il y a une doc. en ligne. Chez moi j'utilise au contraire le triumvira caml-light/emacs/linux et je cherche s'il existe une aide en ligne de caml sous linux/emacs (comme il y a sous windows). Bien cordialement francois.maltey@enst-bretagne.fr