]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/README
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / applications / browser / README
diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/README b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/README
deleted file mode 100644 (file)
index f2ed1ec..0000000
+++ /dev/null
@@ -1,18 +0,0 @@
-       Browser: the beginning of a port of the OCamlBrowser
-
-Installation:
-
-* make a link from a directory where the O'Caml distribution is
-  compiled to ocaml-src
-       ln -s /path/to/ocaml-3.00 ocaml-src
-  (actually only the directory parsing needs to be compiled)
-
-* just type "make"
-
-Use:
-
-When you run browser, you just get a customized editor with lexical
-coloring. Nothing very fancy.
-In the file menu you can open a shell, running olabl as subprocess.
-
-Jacques Garrigue