From: Kim Nguyễn Date: Mon, 15 Jul 2013 15:46:15 +0000 (+0200) Subject: Remove the timestamp header in source files. This information is X-Git-Tag: v0.1~78 X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=41dd1fed04cabad212f10fce3484545f6e9d9444 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 --- a/src/ata.ml +++ b/src/ata.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - INCLUDE "utils.ml" open Format diff --git a/src/ata.mli b/src/ata.mli index 8de0c58..d65fabb 100644 --- a/src/ata.mli +++ b/src/ata.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - type predicate = First_child | Next_sibling diff --git a/src/cache.ml b/src/cache.ml index f9b7457..9ffb332 100644 --- a/src/cache.ml +++ b/src/cache.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - module N1 = struct type 'a t = { diff --git a/src/cache.mli b/src/cache.mli index 5827f6c..6ebfded 100644 --- a/src/cache.mli +++ b/src/cache.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** N-dimentional caches *) module N1 : diff --git a/src/common_sig.ml b/src/common_sig.ml index 37437e4..1bb80a9 100644 --- a/src/common_sig.ml +++ b/src/common_sig.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/eval.ml +++ b/src/eval.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - INCLUDE "utils.ml" open Format diff --git a/src/finiteCofinite.ml b/src/finiteCofinite.ml index 2bfe70c..019ae65 100644 --- a/src/finiteCofinite.ml +++ b/src/finiteCofinite.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - INCLUDE "utils.ml" include FiniteCofinite_sig diff --git a/src/finiteCofinite.mli b/src/finiteCofinite.mli index cd92cda..4aa2cdf 100644 --- a/src/finiteCofinite.mli +++ b/src/finiteCofinite.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** Implementation of hashconsed finite or cofinite sets. *) diff --git a/src/finiteCofinite_sig.ml b/src/finiteCofinite_sig.ml index da17049..f7935ac 100644 --- a/src/finiteCofinite_sig.ml +++ b/src/finiteCofinite_sig.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - exception InfiniteSet module type S = sig diff --git a/src/formula.ml b/src/formula.ml index 7d37e5b..1e440bc 100644 --- a/src/formula.ml +++ b/src/formula.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - INCLUDE "utils.ml" open Format diff --git a/src/formula.mli b/src/formula.mli index 52e38b7..f69a40d 100644 --- a/src/formula.mli +++ b/src/formula.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - module type ATOM = sig type t diff --git a/src/hcons.ml b/src/hcons.ml index cc7327a..c950458 100644 --- a/src/hcons.ml +++ b/src/hcons.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - include Hcons_sig module type TableBuilder = diff --git a/src/hcons.mli b/src/hcons.mli index b4049a0..3e80a03 100644 --- a/src/hcons.mli +++ b/src/hcons.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/hcons_sig.ml +++ b/src/hcons_sig.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/hlist.mli +++ b/src/hlist.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - 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 --- a/src/hlist_sig.ml +++ b/src/hlist_sig.ml @@ -13,9 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) 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 --- a/src/misc.ml +++ b/src/misc.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/naive_tree.ml +++ b/src/naive_tree.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - type node = { tag : QName.t; preorder : int; diff --git a/src/naive_tree.mli b/src/naive_tree.mli index 2a11164..d77557b 100644 --- a/src/naive_tree.mli +++ b/src/naive_tree.mli @@ -13,8 +13,4 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - include Tree.S diff --git a/src/pretty.ml b/src/pretty.ml index 1927216..e64edab 100644 --- a/src/pretty.ml +++ b/src/pretty.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Format exception InvalidUtf8Codepoint of int diff --git a/src/pretty.mli b/src/pretty.mli index 9064f8a..ee828d5 100644 --- a/src/pretty.mli +++ b/src/pretty.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - exception InvalidUtf8Codepoint of int val subscript : int -> string diff --git a/src/ptset.ml b/src/ptset.ml index f9bbd03..9d415f8 100644 --- a/src/ptset.ml +++ b/src/ptset.ml @@ -14,10 +14,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (* 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 --- a/src/ptset.mli +++ b/src/ptset.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - 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 --- a/src/ptset_sig.ml +++ b/src/ptset_sig.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - module type S = sig include Hcons.S diff --git a/src/qName.ml b/src/qName.ml index 4a3aac4..9b5832e 100644 --- a/src/qName.ml +++ b/src/qName.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - 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 --- a/src/qName.mli +++ b/src/qName.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/qNameSet.ml +++ b/src/qNameSet.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - 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 --- a/src/qNameSet.mli +++ b/src/qNameSet.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/state.ml +++ b/src/state.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Format type t = int diff --git a/src/state.mli b/src/state.mli index 89d67cd..1d25a67 100644 --- a/src/state.mli +++ b/src/state.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/stateSet.ml +++ b/src/stateSet.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Format include Ptset.Make (Hcons.PosInt) diff --git a/src/stateSet.mli b/src/stateSet.mli index 1a9c237..1a628a4 100644 --- a/src/stateSet.mli +++ b/src/stateSet.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/tatoo.ml +++ b/src/tatoo.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Format let time f arg msg = diff --git a/src/tree.ml b/src/tree.ml index e06a11e..8f37be5 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/uid.ml +++ b/src/uid.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - type t = int exception Overflow diff --git a/src/uid.mli b/src/uid.mli index 286cacc..3c05d19 100644 --- a/src/uid.mli +++ b/src/uid.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** 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 --- a/src/xpath/ast.ml +++ b/src/xpath/ast.ml @@ -13,11 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - - 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 --- a/src/xpath/ast.mli +++ b/src/xpath/ast.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - 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 --- a/src/xpath/compile.ml +++ b/src/xpath/compile.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Ast diff --git a/src/xpath/compile.mli b/src/xpath/compile.mli index a326992..2dc95aa 100644 --- a/src/xpath/compile.mli +++ b/src/xpath/compile.mli @@ -13,8 +13,4 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - val path : Ast.path -> Ata.t diff --git a/src/xpath/parser.ml b/src/xpath/parser.ml index 7386577..ba99fed 100644 --- a/src/xpath/parser.ml +++ b/src/xpath/parser.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - 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 --- a/src/xpath/ulexer.ml +++ b/src/xpath/ulexer.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - 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 --- a/src/xpath/xpath_internal_parser.mly +++ b/src/xpath/xpath_internal_parser.mly @@ -14,10 +14,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Ast open Tree %}