]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/browser/README
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / browser / README
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/browser/README b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/browser/README
new file mode 100644 (file)
index 0000000..a6f01ce
--- /dev/null
@@ -0,0 +1,18 @@
+       Browser: the beginning of a port of the LablBrowser
+
+Installation:
+
+* make a link from a directory where the O'Labl distribution is
+  compiled to olabl-src
+       ln -s /path/to/olabl/ocaml-2.02 olabl-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
\ No newline at end of file