From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 83D0FBCAE for ; Fri, 8 Jul 2005 19:42:57 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j68HgvVg009241 for ; Fri, 8 Jul 2005 19:42:57 +0200 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 TAA32178 for ; Fri, 8 Jul 2005 19:42:56 +0200 (MET DST) Received: from ux9.sp.cs.cmu.edu (UX9.SP.CS.CMU.EDU [128.2.220.166]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id j68HgqxG009234 for ; Fri, 8 Jul 2005 19:42:56 +0200 Received: from c-24-3-154-200.hsd1.pa.comcast.net ([24.3.154.200]) by ux9.sp.cs.cmu.edu id aa03407; 8 Jul 2005 13:42 EDT Received: from ecc by stratocaster.home with local (Exim 4.50) id 1Dqwru-0002h0-9v for caml-list@inria.fr; Fri, 08 Jul 2005 13:42:30 -0400 Date: Fri, 8 Jul 2005 13:42:30 -0400 To: caml-list@inria.fr Subject: Re: [Caml-list] ANNOUNCE: LablGtkSourceView Message-ID: <20050708174230.GA9563@localhost> Mail-Followup-To: caml-list@inria.fr References: <20050708101716.GA31200@takhisis.invalid> <42CE90C9.4050708@ens-lyon.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <42CE90C9.4050708@ens-lyon.org> User-Agent: Mutt/1.5.9i From: Eric Cooper X-Miltered: at nez-perce with ID 42CEBB21.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42CEBB1C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocaml:01 syntax:01 mli:01 strace:01 gedit:01 foo:01 ...:98 1.0:98 wrote:01 debian:02 types:02 indentation:04 jul:05 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Fri, Jul 08, 2005 at 04:42:17PM +0200, David Baelde wrote: > Many people probably want to know: is there a OCaml.lang for specifying > OCaml syntax/indentation for GtkSourceView ? Could be useful for that > ongoing OCamlIDE project... Here's a first cut at one: http://www.cs.cmu.edu/~ecc/ocaml.lang On Debian at least, you can put this in ~/.gnome2/gtksourceview-1.0/language-specs/ You will also need MIME types recognized for OCaml programs. Put the following in ~/.local/share/mime/globs: text/x-ocaml:*.ml text/x-ocaml:*.mli (On other systems, it might be useful to run strace -e trace=file gedit foo.ml to find out where it's looking for these definitions.) -- Eric Cooper e c c @ c m u . e d u