]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / unison / README
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README
new file mode 100644 (file)
index 0000000..73bcc25
--- /dev/null
@@ -0,0 +1,19 @@
+       A GUI for Unison
+
+Here is a lablGTK port of Unison's GUI.
+Or rather was, since this is now the standard GUI for unison.
+
+Unison is a file synchronization software developped by Benjamin
+Pierce, Trevor Jim, and others.
+
+As of version 2.3.12, unison is based on LablGTK 1.00.
+To use it with the current version, you must:
+ * get unison-2.3.12/src.tar.gz from http://www.cis.upenn.edu/~bcpierce/unison/
+ * untar it in this directory
+ * copy or make links for uigtk.ml here inside unison-2.3.12
+        ln -fs ../uigtk.ml .
+ * make and follow instructions in INSTALL.txt
+
+Jacques Garrigue
+
+$Id$