Remove the timestamp header in source files. This information is

better kept in git.

diff --git a/src/ata.ml b/src/ata.ml
index f4cd6db..df43392 100644 (file)
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-25 16:20:41 CEST by Kim Nguyen>
-*)
-
 INCLUDE "utils.ml"
 open Format
 

diff --git a/src/ata.mli b/src/ata.mli
index 8de0c58..d65fabb 100644 (file)
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-25 16:25:20 CEST by Kim Nguyen>
-*)
-
 type predicate =
     First_child
   | Next_sibling

diff --git a/src/cache.ml b/src/cache.ml
index f9b7457..9ffb332 100644 (file)
--- a/src/cache.ml
+++ b/src/cache.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-18 22:41:45 CET by Kim Nguyen>
-*)
-
 module N1 =
 struct
   type 'a t = {

diff --git a/src/cache.mli b/src/cache.mli
index 5827f6c..6ebfded 100644 (file)
--- a/src/cache.mli
+++ b/src/cache.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-18 22:25:30 CET by Kim Nguyen>
-*)
-
 (** N-dimentional caches *)
 
 module N1 :

diff --git a/src/common_sig.ml b/src/common_sig.ml
index 37437e4..1bb80a9 100644 (file)
--- a/src/common_sig.ml
+++ b/src/common_sig.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 23:01:55 CET by Kim Nguyen>
-*)
-
 (** Type equipped with an equality and hash function.
     If [equal a b] then [(hash a) = (hash b)]
 *)

diff --git a/src/eval.ml b/src/eval.ml
index c6d4326..0ef0d5d 100644 (file)
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-25 17:22:15 CEST by Kim Nguyen>
-*)
-
 INCLUDE "utils.ml"
 open Format
 

diff --git a/src/finiteCofinite.ml b/src/finiteCofinite.ml
index 2bfe70c..019ae65 100644 (file)
--- a/src/finiteCofinite.ml
+++ b/src/finiteCofinite.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-05 01:50:21 CET by Kim Nguyen>
-*)
-
 INCLUDE "utils.ml"
 
 include FiniteCofinite_sig

diff --git a/src/finiteCofinite.mli b/src/finiteCofinite.mli
index cd92cda..4aa2cdf 100644 (file)
--- a/src/finiteCofinite.mli
+++ b/src/finiteCofinite.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 22:44:50 CET by Kim Nguyen>
-*)
-
 (** Implementation of hashconsed finite or cofinite sets.
 *)
 

diff --git a/src/finiteCofinite_sig.ml b/src/finiteCofinite_sig.ml
index da17049..f7935ac 100644 (file)
--- a/src/finiteCofinite_sig.ml
+++ b/src/finiteCofinite_sig.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 22:44:15 CET by Kim Nguyen>
-*)
-
 exception InfiniteSet
 module type S =
 sig

diff --git a/src/formula.ml b/src/formula.ml
index 7d37e5b..1e440bc 100644 (file)
--- a/src/formula.ml
+++ b/src/formula.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:46:09 CEST by Kim Nguyen>
-*)
-
 INCLUDE "utils.ml"
 
 open Format

diff --git a/src/formula.mli b/src/formula.mli
index 52e38b7..f69a40d 100644 (file)
--- a/src/formula.mli
+++ b/src/formula.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:41:24 CEST by Kim Nguyen>
-*)
-
 module type ATOM =
 sig
   type t

diff --git a/src/hcons.ml b/src/hcons.ml
index cc7327a..c950458 100644 (file)
--- a/src/hcons.ml
+++ b/src/hcons.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-18 00:16:08 CET by Kim Nguyen>
-*)
-
 include Hcons_sig
 
 module type TableBuilder =

diff --git a/src/hcons.mli b/src/hcons.mli
index b4049a0..3e80a03 100644 (file)
--- a/src/hcons.mli
+++ b/src/hcons.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 23:05:14 CET by Kim Nguyen>
-*)
-
 (** Implementation of generic hashconsing. *)
 
 include module type of Hcons_sig

diff --git a/src/hcons_sig.ml b/src/hcons_sig.ml
index 599819c..9379474 100644 (file)
--- a/src/hcons_sig.ml
+++ b/src/hcons_sig.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 22:36:31 CET by Kim Nguyen>
-*)
-
   (** Abstract signature of a module implementing an hashconsed datatype *)
 module type Abstract =
 sig

diff --git a/src/hlist.mli b/src/hlist.mli
index ed47be0..f4310e2 100644 (file)
--- a/src/hlist.mli
+++ b/src/hlist.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-18 11:21:16 CEST by Kim Nguyen>
-*)
-
 include module type of Hlist_sig
 
 module Make (H : Hcons.Abstract) : S with type elt = H.t

diff --git a/src/hlist_sig.ml b/src/hlist_sig.ml
index 227768c..3bd56e1 100644 (file)
--- a/src/hlist_sig.ml
+++ b/src/hlist_sig.ml
@@ -13,9 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-13 18:21:28 CET by Kim Nguyen>
-*)
 type ('a,'b) node = Nil | Cons of ('a * 'b)
 
 module type S = sig

diff --git a/src/misc.ml b/src/misc.ml
index f8156b0..65c3a0e 100644 (file)
--- a/src/misc.ml
+++ b/src/misc.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 23:00:19 CET by Kim Nguyen>
-*)
-
 (** Various generic signatures and generic module and functor definitions
 *)
 INCLUDE "utils.ml"

diff --git a/src/naive_tree.ml b/src/naive_tree.ml
index 65ef334..6625be0 100644 (file)
--- a/src/naive_tree.ml
+++ b/src/naive_tree.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-22 16:42:50 CEST by Kim Nguyen>
-*)
-
 type node = {
   tag : QName.t;
   preorder : int;

diff --git a/src/naive_tree.mli b/src/naive_tree.mli
index 2a11164..d77557b 100644 (file)
--- a/src/naive_tree.mli
+++ b/src/naive_tree.mli
@@ -13,8 +13,4 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:44:39 CEST by Kim Nguyen>
-*)
-
 include Tree.S

diff --git a/src/pretty.ml b/src/pretty.ml
index 1927216..e64edab 100644 (file)
--- a/src/pretty.ml
+++ b/src/pretty.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-09 10:41:21 CET by Kim Nguyen>
-*)
-
 open Format
 
 exception InvalidUtf8Codepoint of int

diff --git a/src/pretty.mli b/src/pretty.mli
index 9064f8a..ee828d5 100644 (file)
--- a/src/pretty.mli
+++ b/src/pretty.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-09 10:41:32 CET by Kim Nguyen>
-*)
-
 exception InvalidUtf8Codepoint of int
 
 val subscript : int -> string

diff --git a/src/ptset.ml b/src/ptset.ml
index f9bbd03..9d415f8 100644 (file)
--- a/src/ptset.ml
+++ b/src/ptset.ml
@@ -14,10 +14,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-10 18:18:54 CET by Kim Nguyen>
-*)
-
 (* Modified by Kim Nguyen *)
 (* The Patricia trees are themselves deeply hash-consed. The module
    provides a Make (and Weak) functor to build hash-consed patricia

diff --git a/src/ptset.mli b/src/ptset.mli
index f4f53f7..632832c 100644 (file)
--- a/src/ptset.mli
+++ b/src/ptset.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 22:42:37 CET by Kim Nguyen>
-*)
-
 include module type of Ptset_sig
 
 module Make (H : Hcons.Abstract) : S with type elt = H.t

diff --git a/src/ptset_sig.ml b/src/ptset_sig.ml
index f37f6ba..e51e7e9 100644 (file)
--- a/src/ptset_sig.ml
+++ b/src/ptset_sig.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 23:32:36 CET by Kim Nguyen>
-*)
-
 module type S =
 sig
   include Hcons.S

diff --git a/src/qName.ml b/src/qName.ml
index 4a3aac4..9b5832e 100644 (file)
--- a/src/qName.ml
+++ b/src/qName.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-10 23:05:56 CET by Kim Nguyen>
-*)
-
 include Hcons.Make (struct
   include String
   let hash s = Hashtbl.hash s

diff --git a/src/qName.mli b/src/qName.mli
index 978ba3c..e738af5 100644 (file)
--- a/src/qName.mli
+++ b/src/qName.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-10 23:02:12 CET by Kim Nguyen>
-*)
-
 (** Implementation of qualified names as hashconsed strings *)
 
 include Hcons.S with type data = string

diff --git a/src/qNameSet.ml b/src/qNameSet.ml
index d895ff3..91309e0 100644 (file)
--- a/src/qNameSet.ml
+++ b/src/qNameSet.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-09 17:54:35 CET by Kim Nguyen>
-*)
-
 include FiniteCofinite.Make(Ptset.Make(QName))
 
 let print_finite fmt e conv =

diff --git a/src/qNameSet.mli b/src/qNameSet.mli
index 132d834..537ceee 100644 (file)
--- a/src/qNameSet.mli
+++ b/src/qNameSet.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-09 17:53:53 CET by Kim Nguyen>
-*)
-
 (** Implementation of sets of Qualified Names that can be finite
     or cofinite *)
 

diff --git a/src/state.ml b/src/state.ml
index bb7a063..4fbfc1c 100644 (file)
--- a/src/state.ml
+++ b/src/state.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:45:59 CEST by Kim Nguyen>
-*)
-
 open Format
 
 type t = int

diff --git a/src/state.mli b/src/state.mli
index 89d67cd..1d25a67 100644 (file)
--- a/src/state.mli
+++ b/src/state.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-04 23:02:21 CET by Kim Nguyen>
-*)
-
 (** Implementation of states *)
 
 include Common_sig.Type with type t = int

diff --git a/src/stateSet.ml b/src/stateSet.ml
index 2fec234..47ad460 100644 (file)
--- a/src/stateSet.ml
+++ b/src/stateSet.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:46:16 CEST by Kim Nguyen>
-*)
-
 open Format
 
 include Ptset.Make (Hcons.PosInt)

diff --git a/src/stateSet.mli b/src/stateSet.mli
index 1a9c237..1a628a4 100644 (file)
--- a/src/stateSet.mli
+++ b/src/stateSet.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:41:31 CEST by Kim Nguyen>
-*)
-
 (** Implementation of sets of states *)
 include Ptset.S with type elt = int
 

diff --git a/src/tatoo.ml b/src/tatoo.ml
index ca79411..8b50581 100644 (file)
--- a/src/tatoo.ml
+++ b/src/tatoo.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-25 15:05:36 CEST by Kim Nguyen>
-*)
-
 open Format
 
 let time f arg msg =

diff --git a/src/tree.ml b/src/tree.ml
index e06a11e..8f37be5 100644 (file)
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-22 16:29:52 CEST by Kim Nguyen>
-*)
-
 (** The different kind of XML nodes and utility functions *)
 
 module NodeKind =

diff --git a/src/uid.ml b/src/uid.ml
index 0cb9688..46b8658 100644 (file)
--- a/src/uid.ml
+++ b/src/uid.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-01-30 19:06:39 CET by Kim Nguyen>
-*)
-
 type t = int
 
 exception Overflow

diff --git a/src/uid.mli b/src/uid.mli
index 286cacc..3c05d19 100644 (file)
--- a/src/uid.mli
+++ b/src/uid.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-01-30 19:06:33 CET by Kim Nguyen>
-*)
-
 (** This modules implements unique identifiers represented by integers *)
 
 type t = private int

diff --git a/src/xpath/ast.ml b/src/xpath/ast.ml
index c83dd91..7810a0e 100644 (file)
--- a/src/xpath/ast.ml
+++ b/src/xpath/ast.ml
@@ -13,11 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-18 11:22:00 CEST by Kim Nguyen>
-*)
-
-
 type path = single_path list
 and single_path = Absolute of step list | Relative of step list
 and step = axis * test * expr list

diff --git a/src/xpath/ast.mli b/src/xpath/ast.mli
index 78dd7bb..07a410d 100644 (file)
--- a/src/xpath/ast.mli
+++ b/src/xpath/ast.mli
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:41:03 CEST by Kim Nguyen>
-*)
-
 type path = single_path list
 and single_path = Absolute of step list | Relative of step list
 and step = axis * test * expr list

diff --git a/src/xpath/compile.ml b/src/xpath/compile.ml
index e62b918..c52c720 100644 (file)
--- a/src/xpath/compile.ml
+++ b/src/xpath/compile.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:43:48 CEST by Kim Nguyen>
-*)
-
 open Ast
 
 

diff --git a/src/xpath/compile.mli b/src/xpath/compile.mli
index a326992..2dc95aa 100644 (file)
--- a/src/xpath/compile.mli
+++ b/src/xpath/compile.mli
@@ -13,8 +13,4 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:41:11 CEST by Kim Nguyen>
-*)
-
 val path : Ast.path -> Ata.t

diff --git a/src/xpath/parser.ml b/src/xpath/parser.ml
index 7386577..ba99fed 100644 (file)
--- a/src/xpath/parser.ml
+++ b/src/xpath/parser.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-22 16:23:46 CEST by Kim Nguyen>
-*)
-
 include Xpath_internal_parser
 
 let parse (l : Ulexing.lexbuf) =

diff --git a/src/xpath/ulexer.ml b/src/xpath/ulexer.ml
index 7a7d2a7..baa794d 100644 (file)
--- a/src/xpath/ulexer.ml
+++ b/src/xpath/ulexer.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-13 14:14:15 CET by Kim Nguyen>
-*)
-
 open Xpath_internal_parser
 
 module L = Ulexing

diff --git a/src/xpath/xpath_internal_parser.mly b/src/xpath/xpath_internal_parser.mly
index 2a861aa..d9c46a7 100644 (file)
--- a/src/xpath/xpath_internal_parser.mly
+++ b/src/xpath/xpath_internal_parser.mly
@@ -14,10 +14,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-04 18:44:13 CEST by Kim Nguyen>
-*)
-
   open Ast
   open Tree
 %}