]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/COPYING
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / COPYING
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/COPYING b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/COPYING
new file mode 100644 (file)
index 0000000..d417b8b
--- /dev/null
@@ -0,0 +1,28 @@
+This library is made available under the LGPL.
+You should have got a copy of the LGPL with Objective Caml.
+The LGPL applies to all the files in this directory, but not in
+subdirectories.
+
+For the examples subdirectory, there is no specific licensing policy,
+but you may freely take inspiration from the code, and copy parts of
+it in your application.
+
+For the applications subdirectory, stricter rules apply:
+
+* You are free to do anything you want with this code as long as it is
+  for personal use.
+
+* Redistribution can only be "as is".  Binary distribution and bug
+  fixes are allowed, but you cannot extensively modify the code
+  without asking the authors.
+
+The authors may choose to remove any of the above restrictions on a
+per request basis.
+
+Authors:
+       Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
+       Hubert Fauque  <hubert.fauque@wanadoo.fr>
+       Jun Furuse     <Jun.Furuse@inria.fr>
+       Koji Kagawa    <kagawa@eng.kagawa-u.ac.jp>
+
+$Id$
\ No newline at end of file