Remove the timestamp header in source files. This information is
authorKim Nguyễn <kn@lri.fr>
Mon, 15 Jul 2013 15:46:15 +0000 (17:46 +0200)
committerKim Nguyễn <kn@lri.fr>
Mon, 15 Jul 2013 15:46:15 +0000 (17:46 +0200)
commit41dd1fed04cabad212f10fce3484545f6e9d9444
tree0b3ca58ce3935ecc4317947fbeab92e8fab0f130
parent66e86354976d541edef083a641cebca76b847c98
Remove the timestamp header in source files. This information is
better kept in git.
43 files changed:
src/ata.ml
src/ata.mli
src/cache.ml
src/cache.mli
src/common_sig.ml
src/eval.ml
src/finiteCofinite.ml
src/finiteCofinite.mli
src/finiteCofinite_sig.ml
src/formula.ml
src/formula.mli
src/hcons.ml
src/hcons.mli
src/hcons_sig.ml
src/hlist.mli
src/hlist_sig.ml
src/misc.ml
src/naive_tree.ml
src/naive_tree.mli
src/pretty.ml
src/pretty.mli
src/ptset.ml
src/ptset.mli
src/ptset_sig.ml
src/qName.ml
src/qName.mli
src/qNameSet.ml
src/qNameSet.mli
src/state.ml
src/state.mli
src/stateSet.ml
src/stateSet.mli
src/tatoo.ml
src/tree.ml
src/uid.ml
src/uid.mli
src/xpath/ast.ml
src/xpath/ast.mli
src/xpath/compile.ml
src/xpath/compile.mli
src/xpath/parser.ml
src/xpath/ulexer.ml
src/xpath/xpath_internal_parser.mly