diff options
Diffstat (limited to 'emacs/caml-emacs.el')
| -rw-r--r-- | emacs/caml-emacs.el | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/emacs/caml-emacs.el b/emacs/caml-emacs.el index 5f35c2451..d034ff304 100644 --- a/emacs/caml-emacs.el +++ b/emacs/caml-emacs.el @@ -1,3 +1,17 @@ +;(***********************************************************************) +;(* *) +;(* Objective Caml *) +;(* *) +;(* 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. *) +;(* *) +;(***********************************************************************) + +;(* $Id$ *) + ;; for caml-help.el (defalias 'caml-info-other-window 'info-other-window) |