diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-04-30 15:54:54 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-04-30 15:54:54 +0000 |
| commit | 9d12824a1dd06cb5a7342f5622fedad904ea95b8 (patch) | |
| tree | 4040d445c7eff82e65cfaeaf2bba63f5e2630867 /ide/utils/uoptions.ml | |
| parent | 9c9ef8b51b41b0b1034339d420f32207199b49c2 (diff) | |
Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la version 1.2 (QPL) à la version 1.3 (GPL)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5717 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/utils/uoptions.ml')
| -rw-r--r-- | ide/utils/uoptions.ml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/ide/utils/uoptions.ml b/ide/utils/uoptions.ml index f7b9a973c..416f57696 100644 --- a/ide/utils/uoptions.ml +++ b/ide/utils/uoptions.ml @@ -1,3 +1,26 @@ +(**************************************************************************) +(* Cameleon *) +(* *) +(* Copyright (C) 2002 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. *) +(* *) +(* This program is free software; you can redistribute it and/or modify *) +(* it under the terms of the GNU General Public License as published by *) +(* the Free Software Foundation; either version 2 of the License, or *) +(* any later version. *) +(* *) +(* This program is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU General Public License for more details. *) +(* *) +(* You should have received a copy of the GNU General Public License *) +(* along with this program; if not, write to the Free Software *) +(* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA *) +(* 02111-1307 USA *) +(* *) +(* Contact: Maxence.Guesdon@inria.fr *) +(**************************************************************************) (** Simple options: This will enable very simple configuration, by a mouse-based configurator. |