Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Jon Harrop <jon@ffconsultancy.com>
To: caml-list <caml-list@yquem.inria.fr>
Subject: Idea for a useful tool: web version of ocamlbrowser
Date: Sun, 9 Dec 2007 12:52:33 +0000	[thread overview]
Message-ID: <200712091252.33291.jon@ffconsultancy.com> (raw)


I'm just battling with ocamlbrowser, trying to write a simple LablGTK2 app, 
and it occurs to me that it should be a Web 2.0 app that actively generates 
representations of OCaml APIs and augments them with hyperlinks.

This would have two main advantages:

1. You could go from one definition to a related definition simply by clicking 
on it (in ocamlbrowser you must navigate to the definition you're interested 
in each time).

2. You could go back to the definitions you just looked at by hitting 
the "back" button in the browser.

Perhaps an ocamljs guru could knock this up?! :-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e


                 reply	other threads:[~2007-12-09 13:01 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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=200712091252.33291.jon@ffconsultancy.com \
    --to=jon@ffconsultancy.com \
    --cc=caml-list@yquem.inria.fr \
    /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