On 31-Mar-2001, Mattias Waldau <mattias.waldau@abc.se> 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 <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr