projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
66e8635
)
Remove the timestamp header in source files. This information is
author
Kim Nguyễn
<kn@lri.fr>
Mon, 15 Jul 2013 15:46:15 +0000
(17:46 +0200)
committer
Kim Nguyễn
<kn@lri.fr>
Mon, 15 Jul 2013 15:46:15 +0000
(17:46 +0200)
better kept in git.
43 files changed:
src/ata.ml
patch
|
blob
|
history
src/ata.mli
patch
|
blob
|
history
src/cache.ml
patch
|
blob
|
history
src/cache.mli
patch
|
blob
|
history
src/common_sig.ml
patch
|
blob
|
history
src/eval.ml
patch
|
blob
|
history
src/finiteCofinite.ml
patch
|
blob
|
history
src/finiteCofinite.mli
patch
|
blob
|
history
src/finiteCofinite_sig.ml
patch
|
blob
|
history
src/formula.ml
patch
|
blob
|
history
src/formula.mli
patch
|
blob
|
history
src/hcons.ml
patch
|
blob
|
history
src/hcons.mli
patch
|
blob
|
history
src/hcons_sig.ml
patch
|
blob
|
history
src/hlist.mli
patch
|
blob
|
history
src/hlist_sig.ml
patch
|
blob
|
history
src/misc.ml
patch
|
blob
|
history
src/naive_tree.ml
patch
|
blob
|
history
src/naive_tree.mli
patch
|
blob
|
history
src/pretty.ml
patch
|
blob
|
history
src/pretty.mli
patch
|
blob
|
history
src/ptset.ml
patch
|
blob
|
history
src/ptset.mli
patch
|
blob
|
history
src/ptset_sig.ml
patch
|
blob
|
history
src/qName.ml
patch
|
blob
|
history
src/qName.mli
patch
|
blob
|
history
src/qNameSet.ml
patch
|
blob
|
history
src/qNameSet.mli
patch
|
blob
|
history
src/state.ml
patch
|
blob
|
history
src/state.mli
patch
|
blob
|
history
src/stateSet.ml
patch
|
blob
|
history
src/stateSet.mli
patch
|
blob
|
history
src/tatoo.ml
patch
|
blob
|
history
src/tree.ml
patch
|
blob
|
history
src/uid.ml
patch
|
blob
|
history
src/uid.mli
patch
|
blob
|
history
src/xpath/ast.ml
patch
|
blob
|
history
src/xpath/ast.mli
patch
|
blob
|
history
src/xpath/compile.ml
patch
|
blob
|
history
src/xpath/compile.mli
patch
|
blob
|
history
src/xpath/parser.ml
patch
|
blob
|
history
src/xpath/ulexer.ml
patch
|
blob
|
history
src/xpath/xpath_internal_parser.mly
patch
|
blob
|
history
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
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
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 = {
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 :
(** 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)]
*)
(** 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
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
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.
*)
(** 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
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
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
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 =
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
(** 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
(** 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
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
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"
(** 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;
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
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
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
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
(* 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
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
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
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
(** 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 =
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 *)
(** 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
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
(** 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)
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
(** 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 =
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 =
(** 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
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
(** 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
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
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
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
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) =
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
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
%}
open Ast
open Tree
%}