caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Recherche de ctcaml
@ 1998-07-17  9:47 SURLOG
  0 siblings, 0 replies; 2+ messages in thread
From: SURLOG @ 1998-07-17  9:47 UTC (permalink / raw)
  To: Caml List

Hello everybody !

Existe-t-il un editeur syntaxique pour caml et ocaml (ctcaml/ctocaml) ?

Merci

-- 
Servantec-Surlog
Velizy Plus, Bat. E
1 bis, Rue du Petit Clamart
78140 VELIZY-VILLACOUBLAY
Tel: 01-40-83-00-00  Fax: 01-40-83-18-17





^ permalink raw reply	[flat|nested] 2+ messages in thread

* Recherche de ctcaml
@ 1998-07-20  8:16 Laurent Thery
  0 siblings, 0 replies; 2+ messages in thread
From: Laurent Thery @ 1998-07-20  8:16 UTC (permalink / raw)
  To: caml-list


>> 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.







^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1998-07-21 16:35 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-07-17  9:47 Recherche de ctcaml SURLOG
1998-07-20  8:16 Laurent Thery

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).