]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/COPYING
This commit was manufactured by cvs2svn to create branch 'init'.
[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
deleted file mode 100644 (file)
index d417b8b..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-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