X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fbrowser%2FREADME;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fbrowser%2FREADME;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=a6f01cee8d147519cf4e90befa16e3c4347810cc;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

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
index a6f01cee8..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/browser/README
+++ /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