From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA08124; Sun, 1 Apr 2001 14:52:44 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 OAA08108 for ; Sun, 1 Apr 2001 14:52:42 +0200 (MET DST) Received: from mumnunah.cs.mu.OZ.AU (mail-gate.cs.mu.oz.au [198.142.254.221]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f31Cqb123188 for ; Sun, 1 Apr 2001 14:52:38 +0200 (MET DST) Received: from hg.cs.mu.oz.au (root@hg.cs.mu.OZ.AU [128.250.25.19]) by mumnunah.cs.mu.OZ.AU with ESMTP id WAA25037; Sun, 1 Apr 2001 22:52:33 +1000 (EST) Received: (from fjh@localhost) by hg.cs.mu.oz.au (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) id WAA22557; Sun, 1 Apr 2001 22:52:31 +1000 Date: Sun, 1 Apr 2001 22:52:31 +1000 From: Fergus Henderson To: "Mattias Waldau" Cc: , zs@cs.mu.OZ.AU, conway@cs.mu.OZ.AU Subject: Re: [Caml-list] Using HTML as a standard GUI for Ocaml Message-ID: <20010401225231.A22472@hg.cs.mu.oz.au> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0pre3i In-Reply-To: Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 31-Mar-2001, Mattias Waldau wrote: > What about using HTML-interfaces > instead of standard GUIs like Tcl and GTK? ... > - What has been done? Unpublished code? Zoltan Somogyi and Thomas Conway, who have been implementing a new profiler for Mercury, have been using this technique. The code is not officially released, and at this point I suspect it is very much a prototype, and probably not well documented, but it is available from the Mercury CVS repository (on the `deep2' branch; the code for the CGI interface is in the `deep' directory). I saw a public demo that Tom gave here at the University of Melbourne about a month ago. -- Fergus Henderson | "I have always known that the pursuit | of excellence is a lethal habit" WWW: | -- the last words of T. S. Garp. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr