From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 31 Jul 2005 21:59:38 +0000 (+0000)
Subject: filled end user information
X-Git-Tag: V_0_0_1_1~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f709dae7fe9a98f869f73bd72e174189dc198748;p=helm.git

filled end user information
---

diff --git a/helm/DEVEL/lablgtksourceview/ACKNOWLEDGEMENTS b/helm/DEVEL/lablgtksourceview/ACKNOWLEDGEMENTS
index e69de29bb..e97d934ad 100644
--- a/helm/DEVEL/lablgtksourceview/ACKNOWLEDGEMENTS
+++ b/helm/DEVEL/lablgtksourceview/ACKNOWLEDGEMENTS
@@ -0,0 +1,3 @@
+Acknowledgments:
+* Claudio Sacerdoti Coen, for introducing me to the insane world of binding GTK
+  widgets to OCaml
diff --git a/helm/DEVEL/lablgtksourceview/CHANGES b/helm/DEVEL/lablgtksourceview/CHANGES
index e69de29bb..aa9734692 100644
--- a/helm/DEVEL/lablgtksourceview/CHANGES
+++ b/helm/DEVEL/lablgtksourceview/CHANGES
@@ -0,0 +1,4 @@
+
+July 8, 2005
+  First public release (0.0.1) of LablGtkSourceView.
+
diff --git a/helm/DEVEL/lablgtksourceview/README b/helm/DEVEL/lablgtksourceview/README
index e69de29bb..71d6a5d88 100644
--- a/helm/DEVEL/lablgtksourceview/README
+++ b/helm/DEVEL/lablgtksourceview/README
@@ -0,0 +1,42 @@
+
+LablGtkSourceView: OCaml bindings for GtkSourceView
+---------------------------------------------------
+
+LablGtkSourceView are the OCaml bindings for GtkSourceView, a GTK widget
+which extends the standrd GTK text widgets implementing syntax
+highlighting, automatic indentation, and other typical features of
+source editors.
+
+Using LablGtkSourceView you can instantiate and use GtkSourceView
+widgets in OCaml programs which use GTK through the LablGtk interface.
+
+LablGtkSourceView is freely distributed under the term of the GNU LGPL
+(Lesser General Public License), see LICENSE and COPYING files for more
+info.
+
+Requirements
+------------
+
+In order to build LablGtkSourceView from sources you need:
+
+* OCaml	(http://caml.inria.fr/)
+* Findlib (http://www.ocaml-programming.de/packages/)
+* LablGTK (http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)
+* GtkSourceView (http://gtksourceview.sourceforge.net/)
+
+Once you have installed all of them, follow the usual procedure:
+
+  ./configure
+  make world
+  make install
+
+Availability of ocamlopt is detected by ./configure, if you manually
+want to choose what to build:
+
+  make all    # for building the bytecode part of the library
+  make opt    # for the native code part
+
+--
+Stefano Zacchiroli
+Sun, 31 Jul 2005 23:50:34 +0200
+