From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA25907 for caml-redistribution; Tue, 21 Jul 1998 18:35:39 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA01573 for ; Mon, 20 Jul 1998 10:16:03 +0200 (MET DST) Received: from capa.inria.fr (capa.inria.fr [138.96.24.92]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id KAA16675 for ; Mon, 20 Jul 1998 10:16:02 +0200 (MET DST) Received: from localhost by capa.inria.fr (8.8.8/8.8.5) with ESMTP id KAA00858 for ; Mon, 20 Jul 1998 10:16:02 +0200 Message-Id: <199807200816.KAA00858@capa.inria.fr> X-Mailer: exmh version 2.0.2 2/24/98 To: caml-list@pauillac.inria.fr Subject: Recherche de ctcaml Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 20 Jul 1998 10:16:02 +0200 From: Laurent Thery Sender: weis >> Hello everybody ! >> >> Existe-t-il un editeur syntaxique pour caml et ocaml (ctcaml/ctocaml) ? CtCaml est disponible sous: http://www.inria.fr/croap/ctcaml/ctcaml-fra.html Il s'agit d'un environnenment de programmation pour CamlLight. Sa particularite principale est l'utilisation des informations de typage. L'environnement est encore experimental et pour le moment nous supportons seulement CamlLight (pas encore Ocaml). ---------- Laurent Thery Phone (33) 4 92 38 78 16 e-mail Laurent.Thery@inria.fr Projet Croap INRIA - Sophia Antipolis, 2004, route des Lucioles - B.P. 93 06902 Sophia Antipolis Cedex France >> Hello everybody ! >> >> Is there a syntax driven editing tool for caml and ocaml (ctcaml/ctocaml) ? CtCaml is available through: http://www.inria.fr/croap/ctcaml/ctcaml-eng.html CtCaml is a programming environment for CamlLight. Its main characteristic is that it makes use of type information. The environment is experimental still and only CtCaml is supported.