diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-08-20 17:04:35 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-08-20 17:04:35 +0000 |
| commit | c3a39fc8c84698aa4985c779e16493c2409a0285 (patch) | |
| tree | 0454ddf1543d0f6a78f9b6d6fff79ae8080f48e1 /emacs/inf-caml.el | |
| parent | 8030a20089b6ed8a7b654c189f00a6f3693f8bce (diff) | |
| download | ocaml-c3a39fc8c84698aa4985c779e16493c2409a0285.tar.gz | |
Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'emacs/inf-caml.el')
| -rw-r--r-- | emacs/inf-caml.el | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/emacs/inf-caml.el b/emacs/inf-caml.el index f24a7a71fe..a213ee4f5c 100644 --- a/emacs/inf-caml.el +++ b/emacs/inf-caml.el @@ -1,3 +1,17 @@ +;(***********************************************************************) +;(* *) +;(* Objective Caml *) +;(* *) +;(* 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. *) +;(* *) +;(***********************************************************************) + +;(* $Id$ *) + ;;; inf-caml.el --- run the Caml toplevel in an Emacs buffer ;; Xavier Leroy, july 1993. |