diff options
Diffstat (limited to 'emacs/caml-xemacs.el')
| -rw-r--r-- | emacs/caml-xemacs.el | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/emacs/caml-xemacs.el b/emacs/caml-xemacs.el index ff4939157..8f40fb9a9 100644 --- a/emacs/caml-xemacs.el +++ b/emacs/caml-xemacs.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$ *) + (require 'overlay) ;; for caml-help.el |