diff options
-rw-r--r-- | kernel/cbytecodes.ml | 2 | ||||
-rw-r--r-- | kernel/cbytegen.ml | 2 | ||||
-rw-r--r-- | kernel/cemitcodes.ml | 2 | ||||
-rw-r--r-- | kernel/csymtable.ml | 2 |
4 files changed, 0 insertions, 8 deletions
diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml index ae58a4dc0..cda5482e6 100644 --- a/kernel/cbytecodes.ml +++ b/kernel/cbytecodes.ml @@ -6,8 +6,6 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) - (* Created by Bruno Barras for Benjamin Grégoire as part of the bytecode-based reduction machine, Oct 2004 *) (* Support for native arithmetics by Arnaud Spiwack, May 2007 *) diff --git a/kernel/cbytegen.ml b/kernel/cbytegen.ml index 68f0d7936..cf9c8b56a 100644 --- a/kernel/cbytegen.ml +++ b/kernel/cbytegen.ml @@ -6,8 +6,6 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) - (* Author: Benjamin Grégoire as part of the bytecode-based virtual reduction machine, Oct 2004 *) (* Extension: Arnaud Spiwack (support for native arithmetic), May 2005 *) diff --git a/kernel/cemitcodes.ml b/kernel/cemitcodes.ml index 962417c1e..b441f9730 100644 --- a/kernel/cemitcodes.ml +++ b/kernel/cemitcodes.ml @@ -6,8 +6,6 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $:Id:$ *) - (* Author: Benjamin Grégoire as part of the bytecode-based virtual reduction machine, Oct 2004 *) (* Extension: Arnaud Spiwack (support for native arithmetic), May 2005 *) diff --git a/kernel/csymtable.ml b/kernel/csymtable.ml index 1c1645e97..6eb4d2be3 100644 --- a/kernel/csymtable.ml +++ b/kernel/csymtable.ml @@ -6,8 +6,6 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) - (* Created by Bruno Barras for Benjamin Grégoire as part of the bytecode-based reduction machine, Oct 2004 *) (* Bug fix #1419 by Jean-Marc Notin, Mar 2007 *) |