diff options
Diffstat (limited to 'ocamldoc/odoc_ast.mli')
| -rw-r--r-- | ocamldoc/odoc_ast.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ocamldoc/odoc_ast.mli b/ocamldoc/odoc_ast.mli index 86489fd4a8..f1237f11f3 100644 --- a/ocamldoc/odoc_ast.mli +++ b/ocamldoc/odoc_ast.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) @@ -9,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id: odoc_ast.mli 12959 2012-09-27 13:12:51Z maranget $ *) - (** The module for analysing the typed abstract syntax tree and source code and creating modules, classes, ..., elements.*) type typedtree = Typedtree.structure * Typedtree.module_coercion |