]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/browser/README
This commit was manufactured by cvs2svn to create branch 'init'.
[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
deleted file mode 100644 (file)
index a6f01ce..0000000
+++ /dev/null
@@ -1,18 +0,0 @@
-       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