]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / unison / README
1         A GUI for Unison
2
3 Here is a lablGTK port of Unison's GUI.
4 Or rather was, since this is now the standard GUI for unison.
5
6 Unison is a file synchronization software developped by Benjamin
7 Pierce, Trevor Jim, and others.
8
9 As of version 2.3.12, unison is based on LablGTK 1.00.
10 To use it with the current version, you must:
11  * get unison-2.3.12/src.tar.gz from http://www.cis.upenn.edu/~bcpierce/unison/
12  * untar it in this directory
13  * copy or make links for uigtk.ml here inside unison-2.3.12
14         ln -fs ../uigtk.ml .
15  * make and follow instructions in INSTALL.txt
16
17 Jacques Garrigue
18
19 $Id$