From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA18837; Fri, 22 Feb 2002 11:15:08 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 LAA18111 for ; Fri, 22 Feb 2002 11:15:02 +0100 (MET) Received: from smtp2.home.se (smtp2.home.se [195.66.35.201]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g1MAF2v26054 for ; Fri, 22 Feb 2002 11:15:02 +0100 (MET) Received: from seneca [213.88.193.140] by smtp2.home.se with Novonyx SMTP Server $Revision: 2.74 $; Fri, 22 Feb 2002 11:09:46 +0100 (ECTD) Message-ID: <00a601c1bb89$c9da11b0$0c6fa8c0@invariant.se> From: =?iso-8859-15?Q?Johan_Georg_Granstr=F6m?= To: References: <20020204201140.GA1705@fichte.ai.univie.ac.at><20020205103304.GA25187@chopin.ai.univie.ac.at> <87u1swdu0s.dlv@wanadoo.fr> Subject: [Caml-list] Emacs mode for revised syntax? Date: Fri, 22 Feb 2002 11:15:01 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk What is the status on this question? > Markus Mottl writes: > [Snip] > > By the way, is there any caml-mode for Emacs and the revised syntax ? With reference to > Daniel de Rauglaudre writes: > I don't think so but there is a request for that (Gérard Huet asked > me yesterday). I use a very old caml-light-or-what emacs mode and I > am too lazy to look at emacs-lisp to create my mode. Thanks in advance, - Johan Granström ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners