diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-02-18 16:11:59 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-02-18 16:59:16 +0100 |
| commit | 5401ce8473062b19dd3553d022593cc5d91ccbff (patch) | |
| tree | a0c140149b7d6a599d71a59132360d12a955feff /emacs | |
| parent | 6e794aee7257ea72e785dc743981b4cc36cb14c6 (diff) | |
| download | ocaml-5401ce8473062b19dd3553d022593cc5d91ccbff.tar.gz | |
Update headers for the new license.
Remains to be done: remove all headers in testsuite/tests.
Diffstat (limited to 'emacs')
| -rw-r--r-- | emacs/Makefile | 24 | ||||
| -rw-r--r-- | emacs/caml-compat.el | 24 | ||||
| -rw-r--r-- | emacs/caml-emacs.el | 24 | ||||
| -rw-r--r-- | emacs/caml-font-old.el | 24 | ||||
| -rw-r--r-- | emacs/caml-font.el | 24 | ||||
| -rw-r--r-- | emacs/caml-help.el | 24 | ||||
| -rw-r--r-- | emacs/caml-hilit.el | 24 | ||||
| -rw-r--r-- | emacs/caml-types.el | 24 | ||||
| -rw-r--r-- | emacs/caml-xemacs.el | 24 | ||||
| -rw-r--r-- | emacs/caml.el | 24 | ||||
| -rw-r--r-- | emacs/camldebug.el | 24 | ||||
| -rw-r--r-- | emacs/inf-caml.el | 24 | ||||
| -rw-r--r-- | emacs/ocamltags.in | 24 |
13 files changed, 169 insertions, 143 deletions
diff --git a/emacs/Makefile b/emacs/Makefile index 22b2a19bae..93b2d7d738 100644 --- a/emacs/Makefile +++ b/emacs/Makefile @@ -1,14 +1,16 @@ -######################################################################### -# # -# OCaml # -# # -# Xavier Leroy, projet Cristal, INRIA Rocquencourt # -# # -# Copyright 1997 Institut National de Recherche en Informatique et # -# en Automatique. All rights reserved. This file is distributed # -# under the terms of the GNU General Public License. # -# # -######################################################################### +#************************************************************************** +#* * +#* OCaml * +#* * +#* Xavier Leroy, projet Cristal, INRIA Rocquencourt * +#* * +#* Copyright 1997 Institut National de Recherche en Informatique et * +#* en Automatique. * +#* * +#* All rights reserved. This file is distributed under the terms of * +#* the GNU General Public License. * +#* * +#************************************************************************** include ../config/Makefile diff --git a/emacs/caml-compat.el b/emacs/caml-compat.el index a5cff879ea..782d2d47f8 100644 --- a/emacs/caml-compat.el +++ b/emacs/caml-compat.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -;(* *) -;(* Copyright 1998 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Xavier Leroy, projet Cristal, INRIA Rocquencourt * +;* * +;* Copyright 1998 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;; function definitions for old versions of emacs diff --git a/emacs/caml-emacs.el b/emacs/caml-emacs.el index 7166d1a878..13f72c46b9 100644 --- a/emacs/caml-emacs.el +++ b/emacs/caml-emacs.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Didier Remy, projet Cristal, INRIA Rocquencourt *) -;(* *) -;(* Copyright 2003 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Didier Remy, projet Cristal, INRIA Rocquencourt * +;* * +;* Copyright 2003 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;; for caml-help.el (defalias 'caml-info-other-window 'info-other-window) diff --git a/emacs/caml-font-old.el b/emacs/caml-font-old.el index 7456e8c583..674beb680c 100644 --- a/emacs/caml-font-old.el +++ b/emacs/caml-font-old.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Jacques Garrigue and Ian T Zimmerman *) -;(* *) -;(* Copyright 1997 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Jacques Garrigue and Ian T Zimmerman * +;* * +;* Copyright 1997 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;; useful colors diff --git a/emacs/caml-font.el b/emacs/caml-font.el index 9c28e01260..ac339744f0 100644 --- a/emacs/caml-font.el +++ b/emacs/caml-font.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Jacques Garrigue, Ian T Zimmerman, Damien Doligez *) -;(* *) -;(* Copyright 1997 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Jacques Garrigue, Ian T Zimmerman, Damien Doligez * +;* * +;* Copyright 1997 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;; caml-font: font-lock support for OCaml files ;; now with perfect parsing of comments and strings diff --git a/emacs/caml-help.el b/emacs/caml-help.el index dd74ca25a7..6b1abc653b 100644 --- a/emacs/caml-help.el +++ b/emacs/caml-help.el @@ -1,15 +1,17 @@ ;;; caml-help.el --- Contextual completion and help to caml-mode -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Didier Remy, projet Cristal, INRIA Rocquencourt *) -;(* *) -;(* Copyright 2001 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Didier Remy, projet Cristal, INRIA Rocquencourt * +;* * +;* Copyright 2001 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;; Author: Didier Remy, November 2001. diff --git a/emacs/caml-hilit.el b/emacs/caml-hilit.el index 13735594fd..03d6465c52 100644 --- a/emacs/caml-hilit.el +++ b/emacs/caml-hilit.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Jacques Garrigue and Ian T Zimmerman *) -;(* *) -;(* Copyright 1997 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Jacques Garrigue and Ian T Zimmerman * +;* * +;* Copyright 1997 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ; Highlighting patterns for hilit19 under caml-mode diff --git a/emacs/caml-types.el b/emacs/caml-types.el index 0af667bdd2..7ecc5d4bcc 100644 --- a/emacs/caml-types.el +++ b/emacs/caml-types.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Damien Doligez, projet Moscova, INRIA Rocquencourt *) -;(* *) -;(* Copyright 2003 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Damien Doligez, projet Moscova, INRIA Rocquencourt * +;* * +;* Copyright 2003 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ; An emacs-lisp complement to the "-annot" option of ocamlc and ocamlopt. diff --git a/emacs/caml-xemacs.el b/emacs/caml-xemacs.el index f74c883c8d..110817ff81 100644 --- a/emacs/caml-xemacs.el +++ b/emacs/caml-xemacs.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Didier Remy, projet Cristal, INRIA Rocquencourt *) -;(* *) -;(* Copyright 2003 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Didier Remy, projet Cristal, INRIA Rocquencourt * +;* * +;* Copyright 2003 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** (require 'overlay) diff --git a/emacs/caml.el b/emacs/caml.el index 6ad464ae2b..2bf4246d7e 100644 --- a/emacs/caml.el +++ b/emacs/caml.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Jacques Garrigue and Ian T Zimmerman *) -;(* *) -;(* Copyright 1997 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Jacques Garrigue and Ian T Zimmerman * +;* * +;* Copyright 1997 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;;; caml.el --- OCaml code editing commands for Emacs diff --git a/emacs/camldebug.el b/emacs/camldebug.el index 6e83bacccc..674cd32089 100644 --- a/emacs/camldebug.el +++ b/emacs/camldebug.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Jacques Garrigue and Ian T Zimmerman *) -;(* *) -;(* Copyright 1997 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Jacques Garrigue and Ian T Zimmerman * +;* * +;* Copyright 1997 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;;; Run camldebug under Emacs ;;; Derived from gdb.el. diff --git a/emacs/inf-caml.el b/emacs/inf-caml.el index 8a7757729a..05bf318fb6 100644 --- a/emacs/inf-caml.el +++ b/emacs/inf-caml.el @@ -1,14 +1,16 @@ -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Xavier Leroy and Jacques Garrigue *) -;(* *) -;(* Copyright 1997 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Xavier Leroy and Jacques Garrigue * +;* * +;* Copyright 1997 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;;; inf-caml.el --- run the OCaml toplevel in an Emacs buffer diff --git a/emacs/ocamltags.in b/emacs/ocamltags.in index 7b1f41cf0c..4be9e79db7 100644 --- a/emacs/ocamltags.in +++ b/emacs/ocamltags.in @@ -1,16 +1,18 @@ ":" ; @EMACS@ -batch -l $0 "$@" ; status=$? ; : '--*-Emacs-Lisp-*--' <<';' -;(***********************************************************************) -;(* *) -;(* OCaml *) -;(* *) -;(* Jacques Garrigue and Ian T Zimmerman *) -;(* *) -;(* Copyright 1998 Institut National de Recherche en Informatique et *) -;(* en Automatique. All rights reserved. This file is distributed *) -;(* under the terms of the GNU General Public License. *) -;(* *) -;(***********************************************************************) +;************************************************************************** +;* * +;* OCaml * +;* * +;* Jacques Garrigue and Ian T Zimmerman * +;* * +;* Copyright 1998 Institut National de Recherche en Informatique et * +;* en Automatique. * +;* * +;* All rights reserved. This file is distributed under the terms of * +;* the GNU General Public License. * +;* * +;************************************************************************** ;; Copyright (C) 1998 Ian Zimmerman <itz@transbay.net> ;; This program is free software; you can redistribute it and/or |