11 files changed, 31 insertions, 31 deletions
diff --git a/src/ubase/prefs.ml b/src/ubase/prefs.ml
index 7bcdd71..c105120 100644
--- a/src/ubase/prefs.ml
+++ b/src/ubase/prefs.ml
@@ -1,5 +1,5 @@
-(* $I1: Unison file synchronizer: src/ubase/prefs.ml $ *)
-(* $I2: Last modified by bcpierce on Sat, 10 Aug 2002 09:39:41 -0400 $ *)
+(* Unison file synchronizer: src/ubase/prefs.ml *)
+(* $Id: $ *)
 (* $I3: Copyright 1999-2002 (see COPYING for details) $ *)
 
 let debug = Util.debug "prefs"
diff --git a/src/ubase/prefs.mli b/src/ubase/prefs.mli
index 778f67e..3420b39 100644
--- a/src/ubase/prefs.mli
+++ b/src/ubase/prefs.mli
@@ -1,5 +1,5 @@
-(* $I1: Unison file synchronizer: src/ubase/prefs.mli $ *)
-(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *)
+(* Unison file synchronizer: src/ubase/prefs.mli *)
+(* $Id: $ *)
 (* $I3: Copyright 1999-2002 (see COPYING for details) $ *)
 
 type 'a t
diff --git a/src/ubase/rx.ml b/src/ubase/rx.ml
index 0e13ec5..5340859 100644
--- a/src/ubase/rx.ml
+++ b/src/ubase/rx.ml
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/rx.ml $ *)
-(* $I2: Last modified by vouillon on Fri, 28 May 2004 16:07:27 -0400 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/rx.ml *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 (*
   Inspired by some code and algorithms from Mark William Hopkins
   (regexp.tar.gz, available in the comp.compilers file archive)
diff --git a/src/ubase/rx.mli b/src/ubase/rx.mli
index 2f3c458..38b6d3c 100644
--- a/src/ubase/rx.mli
+++ b/src/ubase/rx.mli
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/rx.mli $ *)
-(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/rx.mli *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 type t
 
diff --git a/src/ubase/safelist.ml b/src/ubase/safelist.ml
index 8ba81e4..516c5f9 100644
--- a/src/ubase/safelist.ml
+++ b/src/ubase/safelist.ml
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/safelist.ml $ *)
-(* $I2: Last modified by vouillon on Tue, 16 Apr 2002 10:32:38 -0400 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/safelist.ml *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 let filterBoth f l =
   let rec loop r1 r2 = function
diff --git a/src/ubase/safelist.mli b/src/ubase/safelist.mli
index 3d8045f..7f56c03 100644
--- a/src/ubase/safelist.mli
+++ b/src/ubase/safelist.mli
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/safelist.mli $ *)
-(* $I2: Last modified by bcpierce on Mon, 09 Sep 2002 21:59:33 -0400 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/safelist.mli *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 (* All functions here are tail recursive and will work for arbitrary
    sized lists (unlike some of the standard ones).  The intention is that
diff --git a/src/ubase/trace.ml b/src/ubase/trace.ml
index 251c481..5a81d91 100644
--- a/src/ubase/trace.ml
+++ b/src/ubase/trace.ml
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/trace.ml $ *)
-(* $I2: Last modified by bcpierce on Mon, 15 Sep 2003 11:46:03 -0400 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/trace.ml *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 (* ---------------------------------------------------------------------- *)
 (* Debugging messages *)
diff --git a/src/ubase/trace.mli b/src/ubase/trace.mli
index d24a734..32212cd 100644
--- a/src/ubase/trace.mli
+++ b/src/ubase/trace.mli
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/trace.mli $ *)
-(* $I2: Last modified by bcpierce on Mon, 15 Sep 2003 11:46:03 -0400 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/trace.mli *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 (* ---------------------------------------------------------------------- *)
 (* Debugging support *)
diff --git a/src/ubase/uarg.ml b/src/ubase/uarg.ml
index 95d3b58..6671629 100644
--- a/src/ubase/uarg.ml
+++ b/src/ubase/uarg.ml
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/uarg.ml $ *)
-(* $I2: Last modified by bcpierce on Sun, 24 Mar 2002 11:24:03 -0500 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/uarg.ml *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 (* by Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
 (* Slightly modified by BCP, July 1999 *)
diff --git a/src/ubase/util.ml b/src/ubase/util.ml
index d3f133b..a09fd38 100644
--- a/src/ubase/util.ml
+++ b/src/ubase/util.ml
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/util.ml $ *)
-(* $I2: Last modified by bcpierce on Sat, 27 Nov 2004 09:22:40 -0500 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/util.ml *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 (*****************************************************************************)
 (*                        CASE INSENSITIVE COMPARISON                        *)
diff --git a/src/ubase/util.mli b/src/ubase/util.mli
index aabccc6..e734012 100644
--- a/src/ubase/util.mli
+++ b/src/ubase/util.mli
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/ubase/util.mli $ *)
-(* $I2: Last modified by vouillon on Mon, 14 Jun 2004 16:38:56 -0400 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/ubase/util.mli *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
 
 (* Miscellaneous utility functions and datatypes *)