English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
WinOcaml and WinCoq available
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1998-07-21 (16:36)
From: Gang CHEN <Chen.Gang@e...>
Subject: WinOcaml and WinCoq available
Dear All,

I am pleased to announce the availability of my programs: WinOcaml and
WinCoq, which are Window95 graphic interface for Ocaml and Coq. 

WinOcaml integrates the Ocaml command interpreter with a Multiple
file editor and a Ocaml source code browser.

WinOcaml integrates the Coq command interpreter with a Multiple file
editor and a Coq source code browser.

Main features of these programs are: 

-- Execution from editor by RETURN
-- Execution of selected region
-- Stepwise execution
-- Source code brouwser
-- Multiple file editor
-- Dynamicly display line and column number
-- Search and replace 
-- Maintain a recent file list for quick open
-- Automatically display hints for buttons when mouse is moved over them

WinOcaml and WinCoq can be download from 


Gang Chen