caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Fergus Henderson <fjh@cs.mu.OZ.AU>
To: "Mattias Waldau" <mattias.waldau@abc.se>
Cc: <caml-list@inria.fr>, zs@cs.mu.OZ.AU, conway@cs.mu.OZ.AU
Subject: Re: [Caml-list] Using HTML as a standard GUI for Ocaml
Date: Sun, 1 Apr 2001 22:52:31 +1000	[thread overview]
Message-ID: <20010401225231.A22472@hg.cs.mu.oz.au> (raw)
In-Reply-To: <AAEBJHFJOIPMMIILCEPBOEIECHAA.mattias.waldau@abc.se>

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


  reply	other threads:[~2001-04-01 12:52 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-03-28  2:19 [Caml-list] Complex Numbers David McClain
2001-03-28  3:38 ` [Caml-list] OCaml, where art thou? Anjayan Puvananathan
2001-03-30 14:51   ` Xavier Leroy
2001-03-30 23:12     ` David Fox
2001-03-31  9:31       ` [Caml-list] Using HTML as a standard GUI for Ocaml Mattias Waldau
2001-04-01 12:52         ` Fergus Henderson [this message]
2001-04-01 20:11         ` Sven LUTHER
2001-04-01 20:35           ` Bruce Hoult
2001-04-02 10:09             ` Sven LUTHER
2001-04-02 15:53               ` CREGUT Pierre FTRD/DTL/LAN
2001-04-02 19:16         ` Gerd Stolpmann
2001-04-03 18:06           ` Mattias Waldau
2001-04-02 13:21       ` [Caml-list] Threads in OCaml Xavier Leroy

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20010401225231.A22472@hg.cs.mu.oz.au \
    --to=fjh@cs.mu.oz.au \
    --cc=caml-list@inria.fr \
    --cc=conway@cs.mu.OZ.AU \
    --cc=mattias.waldau@abc.se \
    --cc=zs@cs.mu.OZ.AU \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).