diff options
Diffstat (limited to 'kernel')
| -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 ae58a4dc0c..cda5482e63 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 68f0d7936d..cf9c8b56a9 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 962417c1e9..b441f9730f 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 1c1645e971..6eb4d2be34 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 *) |