From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E5B31BC85; Mon, 17 Dec 2007 17:49:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4HAIs3ZkdCITR5/2dsb2JhbACBV6g5 X-IronPort-AV: E=Sophos;i="4.24,177,1196636400"; d="scan'208";a="5288184" Received: from stork.ru (HELO luckytravels.com) ([66.33.52.121]) by mail2-smtp-roc.national.inria.fr with ESMTP; 17 Dec 2007 17:49:01 +0100 Received: from serp.office.stork.ru (Orel-UISistem.88.quantum.ru [88.86.88.230] (may be forged)) (authenticated bits=0) by luckytravels.com (8.12.8/8.12.5) with ESMTP id lBHGmeYG029704 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 17 Dec 2007 19:48:49 +0300 Message-ID: <4766A868.7090406@stork.ru> Date: Mon, 17 Dec 2007 19:48:40 +0300 From: SerP User-Agent: Thunderbird 2.0.0.9 (X11/20071115) MIME-Version: 1.0 To: Caml-list@yquem.inria.fr, caml-list-bounces@yquem.inria.fr Subject: Emacs mode for revised syntax Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; emacs:01 syntax:01 emacs:01 tuareg:01 ocaml:01 syntax:01 0.80:98 0.80:98 caml-list:01 revised:02 revised:02 correctly:04 version:13 version:13 mode:13 USER_IN_WHITELIST autolearn=ham version=3.2.3 X-Spam-Level: X-Spam-Checker-Version: SpamAssassin 3.2.3 (2007-08-08) on luckytravels.com X-Virus-Scanned: ClamAV 0.80/533/Sat Oct 16 21:09:44 2004 clamav-milter version 0.80j on luckytravels.com X-Virus-Status: Clean Hi, Caml-list Sorry for my bad english. I'am use emacs with tuareg mode, and wirte in ocaml original syntax. Now i decide to write in revised syntax - but my emacs don't highlight revised syntax correctly. I can't find any emacs mode for revised syntax, is this exist? Thanks