diff --git a/src/action.ml b/src/action.ml
index 53e5773b8f18af828dae6673133a1d8df8214b37..5d34abcb7aea70ba0fbfa47216d41aee9b092b50 100644
--- a/src/action.ml
+++ b/src/action.ml
@@ -1,5 +1,3 @@
-(* $Id: action.ml,v 1.10 2006/06/26 09:41:33 regisgia Exp $ *)
-
 open Keyword
 
 type t = 
diff --git a/src/action.mli b/src/action.mli
index dad6d472c59c25fb3ef3c6114b4c9fd55e295aa5..c56abfb0935cd946498ed46b153ba4f9cc140dfd 100644
--- a/src/action.mli
+++ b/src/action.mli
@@ -1,5 +1,3 @@
-(* $Id: action.mli,v 1.8 2006/06/26 09:41:33 regisgia Exp $ *)
-
 (** Semantic action's type. *)
 type t
 
diff --git a/src/concreteSyntax.mli b/src/concreteSyntax.mli
index 2e04df0d42f7bda8ff2aa8a86ec93404fd8a611a..b7268371470fb747a1fc4586a8ba39117ea47269 100644
--- a/src/concreteSyntax.mli
+++ b/src/concreteSyntax.mli
@@ -1,4 +1,3 @@
-(* $Id: concreteSyntax.mli,v 1.3 2005/12/01 16:20:06 regisgia Exp $ *)
 type grammar =
     { 
       pg_filename	   : Syntax.filename;
diff --git a/src/infiniteArray.ml b/src/infiniteArray.ml
index 1b7d79bbab18a5540946ccfe3fc6aa59576d06cf..35f839b8052953b598fbcd462075665f8b679dbb 100644
--- a/src/infiniteArray.ml
+++ b/src/infiniteArray.ml
@@ -1,5 +1,3 @@
-(* $Id: infiniteArray.ml,v 1.6 2007/09/10 21:09:37 fpottier Exp $ *)
-
 (** This module implements infinite arrays, that is, arrays that grow
     transparently upon demand. *)
 
diff --git a/src/infiniteArray.mli b/src/infiniteArray.mli
index ad713de03c8d570427f4ce50dc430e65dd69dea2..52b23b6d1c86f9325efd417699434330863fbd83 100644
--- a/src/infiniteArray.mli
+++ b/src/infiniteArray.mli
@@ -1,5 +1,3 @@
-(* $Id: infiniteArray.mli,v 1.5 2007/09/10 21:09:37 fpottier Exp $ *)
-
 (** This module implements infinite arrays. **)
 type 'a t
 
diff --git a/src/listMonad.mli b/src/listMonad.mli
index 8b93b96f4335b55020371fd6270a6cd108fc18ee..5007d5b2c972fed217fb62eca2af8c0484796104 100644
--- a/src/listMonad.mli
+++ b/src/listMonad.mli
@@ -1,5 +1,3 @@
-(* $Id: listMonad.mli,v 1.2 2005/12/01 16:20:06 regisgia Exp $ *)
-
 (** Monad type which represents a list of results. *)
 type 'a m = 'a list
 
diff --git a/src/misc.ml b/src/misc.ml
index 99d4d4e91767c9874c35ff0c4e4b2addf21e3638..14bf24d7cf7bc5d24a9b28f581d634a4c4e9724f 100644
--- a/src/misc.ml
+++ b/src/misc.ml
@@ -279,3 +279,6 @@ let new_intern capacity =
       !c (H.length table)
   in
   intern, verbose
+
+let new_intern_int capacity =
+  
diff --git a/src/nonTerminalDefinitionInlining.ml b/src/nonTerminalDefinitionInlining.ml
index c051b1da714e89b4b38a630066e99e9b995bfcf4..28ad49632d9970b8a43cc839754eece1465dbdf3 100644
--- a/src/nonTerminalDefinitionInlining.ml
+++ b/src/nonTerminalDefinitionInlining.ml
@@ -1,4 +1,3 @@
-(* $Id: nonTerminalDefinitionInlining.ml,v 1.17 2006/06/26 09:41:33 regisgia Exp $ *)
 open UnparameterizedSyntax
 open ListMonad
 
diff --git a/src/nonTerminalDefinitionInlining.mli b/src/nonTerminalDefinitionInlining.mli
index a44f586be9157f9c7e2867a3bd22a4bd26e261dc..eea3871f7460ad3c354dfc7d123632297c66bccf 100644
--- a/src/nonTerminalDefinitionInlining.mli
+++ b/src/nonTerminalDefinitionInlining.mli
@@ -1,5 +1,3 @@
-(* $Id: nonTerminalDefinitionInlining.mli,v 1.5 2005/12/01 16:20:06 regisgia Exp $ *)
-
 (** [inline g] traverses the rules of [g] and inlines the non terminal
     definitions that are marked with [%inline]. It returns a pair of the transformed
     grammar and a flag that tells whether any inlining was actually done. *)
diff --git a/src/parameterizedGrammar.mli b/src/parameterizedGrammar.mli
index a37f8778e1401f57e386e7be77da87aa9823094e..d43fcc11a7d8360b05a30ca418351100e31cfb3f 100644
--- a/src/parameterizedGrammar.mli
+++ b/src/parameterizedGrammar.mli
@@ -1,5 +1,3 @@
-(* $Id: parameterizedGrammar.mli,v 1.6 2005/12/01 16:20:06 regisgia Exp $ *)
-
 (* This turns a grammar where nonterminal symbols can be parameterized
    into a grammar where nonterminal symbols are not parameterized. The
    transformation is a textual expansion process, whose termination is
diff --git a/src/parameters.ml b/src/parameters.ml
index 43137cc439be7fb698f1086593d9a9bc65b58bea..54e931bed78db56b93893dc528fbeb53b6a58d78 100644
--- a/src/parameters.ml
+++ b/src/parameters.ml
@@ -1,5 +1,3 @@
-(* $Id: parameters.ml,v 1.12 2005/12/02 16:16:22 regisgia Exp $ *)
-
 (* TEMPORARY clean up and write an .mli file *)
 
 open Syntax
diff --git a/src/partialGrammar.ml b/src/partialGrammar.ml
index bb8a08a4ca0563eaf11187a5bf14bc9d00dd7937..6ba835644c1e36bb6c68991b833a8eebe4f52ecc 100644
--- a/src/partialGrammar.ml
+++ b/src/partialGrammar.ml
@@ -1,4 +1,3 @@
-(* $Id: partialGrammar.ml,v 1.63 2006/10/22 14:07:57 fpottier Exp $ *)
 open Misc
 open Syntax
 open ConcreteSyntax
diff --git a/src/partialGrammar.mli b/src/partialGrammar.mli
index 90e4d992fc9c52321714bd86a7789d9759ed84e8..46dc892f5e7b36947bd6cf74482aa24f5a78e1b7 100644
--- a/src/partialGrammar.mli
+++ b/src/partialGrammar.mli
@@ -1,4 +1,2 @@
-(* $Id: partialGrammar.mli,v 1.4 2005/12/01 16:20:07 regisgia Exp $ *)
-
 val join_partial_grammars : 
   ConcreteSyntax.grammar list -> InternalSyntax.grammar
diff --git a/src/positions.ml b/src/positions.ml
index c43c963cb5d54d69269d5a213efe55e8c58f8f6a..c47831246bedcdaa4fe24315257dbdc116d80e6e 100644
--- a/src/positions.ml
+++ b/src/positions.ml
@@ -1,5 +1,3 @@
-(* $Id: positions.ml,v 1.9 2005/12/01 16:20:07 regisgia Exp $ *)
-
 (* TEMPORARY vérifier que ces fonctions sont utilisées partout et
              de façon cohérente; interaction avec [Error]? *)
 
diff --git a/src/positions.mli b/src/positions.mli
index f40f81cbdd99ae6dba046c38ba3a4e5c721c920f..16dc42e3fca98b7c547994f8a09be912b9fca00b 100644
--- a/src/positions.mli
+++ b/src/positions.mli
@@ -1,5 +1,3 @@
-(* $Id: positions.mli,v 1.10 2005/12/01 16:20:07 regisgia Exp $ *)
-
 (* TEMPORARY faire un peu le ménage dans cette interface pléthorique? *)
 
 (** Extension of standard library's positions. *)
diff --git a/src/stretch.mli b/src/stretch.mli
index 02b6bdcdbbcc039585c01db37891e5bc8c6e7b56..6818819289da1b64d7052e27223f7ff5dc050c78 100644
--- a/src/stretch.mli
+++ b/src/stretch.mli
@@ -1,5 +1,3 @@
-(* $Id: stretch.mli,v 1.4 2005/12/01 16:20:07 regisgia Exp $ *)
-
 (* A stretch is a fragment of a source file. It holds the file name,
    the line number, and the line count (that is, the length) of the
    fragment. These are used for generating #line directives when the
diff --git a/src/unionFind.ml b/src/unionFind.ml
index 6a07a169d00c10bca0b632835e4785f97eef34c6..4e86b6e0019a06145e241dddf3a2ab260d299629 100644
--- a/src/unionFind.ml
+++ b/src/unionFind.ml
@@ -1,5 +1,3 @@
-(* $Id: unionFind.ml,v 1.5 2005/12/01 16:20:07 regisgia Exp $ *)
-
 (** This module implements a simple and efficient union/find algorithm.
     See Robert E. Tarjan, ``Efficiency of a Good But Not Linear Set
     Union Algorithm'', JACM 22(2), 1975. *)
diff --git a/src/unionFind.mli b/src/unionFind.mli
index e8d3148e93db27ac879a0961ada5a221435a20ad..1012e64116b33bc2948c23ce4215d50a11ac9b77 100644
--- a/src/unionFind.mli
+++ b/src/unionFind.mli
@@ -1,5 +1,3 @@
-(* $Id: unionFind.mli,v 1.5 2005/12/01 16:20:07 regisgia Exp $ *)
-
 (** This module implements a simple and efficient union/find algorithm.
     See Robert E. Tarjan, ``Efficiency of a Good But Not Linear Set
     Union Algorithm'', JACM 22(2), 1975. *)