Date: Mon, 20 Jul 1998 18:13:50 +0200
From: Gang CHEN <Chen.Gang@ens.fr>
To: coq <email@example.com>, caml <firstname.lastname@example.org>
Subject: WinOcaml and WinCoq available
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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:15 MET