]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/browser/README
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / browser / README
1         Browser: the beginning of a port of the LablBrowser
2
3 Installation:
4
5 * make a link from a directory where the O'Labl distribution is
6   compiled to olabl-src
7         ln -s /path/to/olabl/ocaml-2.02 olabl-src
8   (actually only the directory parsing needs to be compiled)
9
10 * just type "make"
11
12 Use:
13
14 When you run browser, you just get a customized editor with lexical
15 coloring. Nothing very fancy.
16 In the file menu you can open a shell, running olabl as subprocess.
17
18 Jacques Garrigue