X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fapplications%2Fbrowser%2FREADME;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fapplications%2Fbrowser%2FREADME;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=f2ed1ec2eace1a011087d5fe4675e16f555d7e0e;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

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