]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/README
other files missing in 20001129
[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
new file mode 100644 (file)
index 0000000..f2ed1ec
--- /dev/null
@@ -0,0 +1,18 @@
+       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