Remove spurious debugging messages.

Add .. and . to the path syntax.

Remove git bug related files.

Fix a bug in the handling of processing-instruction() test.

Add support for following and preceding using the usual encoding:
axis = ancestor-or-self::node()/axis-sibling::node()/descendant-or-self

Add a kind element to the node tree. Improve support for XPath by
allowing processing-instruction and comment tests.
Fix the handling of attribute nodes.

Rework the java test program to print out attribute nodes too.

Put the node_kind type into a NodeKind module in the Common module.

Remove old test files.

Add a new test case for comments nodes.

Allow the @id syntax in XPath expressions.

Fix a nasty bug in PtSet module (intersect function was the one
for little-endian patricia trees and therefore buggy)

BUG added: [68ad3227c315] following/preceding axes

Initialized bug tracker

Make the test script less verbose

Fix descendant-or-self (which wrongly looked for elements in the
right sibling of self)

Change the path to the root directory before attempting to open
any file in the build script

Main program output incorrect xml tags
Adapt test scripts so that they can be called from the project root

Workaround lame ocamlbuild issues (symlinks are not created for
some reason)

Add .class files to .gitignore

Silence an 'unused variable' warning.

Handle compiling the java test program from ocamlbuild too

Add a missing ';' and remove some dead code and outdated comments.

Merge branch 'feature/test-suite'

* feature/test-suite:
  Fix the xml_diff program to also check trailing events (after </root>)
  Adds a set of testing script

Merge branch 'feature/attributes'

* feature/attributes:
  - Add a new test case.
  - Fix the handling of attributes.
  - Fix the pretty printing of the attribute test.
  - Add a test case for attribute handling.

Fix the xml_diff program to also check trailing events (after </root>)
Reformat output of XML query in test program
Fix testing scripts.

Adds a set of testing script:
     - xml_diff: program to compare two XML files
     - XPathEval.java: reference implementation of XPath 1.0 in Java JAXP
     - gen_test.sh: create reference query results

Rename the main testing program.

Add a new test case.

Fix the handling of attributes:
  - make use of the Is_attribute predicate in formulæ
  - Change the encoding of attributes in the tree structure
    (attributes are now proper children with a particular marker
     in the tag name).

Fix the pretty printing of the attribute test.

Add a test case for attribute handling.

Fix a bug in the parser where a leading '//' would be parsed incorectly.

Add a function to remove unreachable states in the automaton

Extend the interface with a fold function (over the structure
of the formula).

Rework the formula predicates:
       - adds testing for first child, next sibling etc and their converse
       - make the predicate complete w.r.t negation
       - move the evaluation of formula to the Eval module (where the type of
       context is known)

Add the inverse string (superscript -1) to the module.

Add another test case.

Actually fix the problems with negation.

Working for element only document (with arbitrary paths & negation).
- Need to fix attributes handling
- Need to add preceding/following

Add a first runtime function. Positive fragment seems to work.
Negation of backward axes is buggy.

Add an abstract generic interface for trees (of which Naive is an
implementation).

Split the sig.ml module in *_sig.ml (one for each module)

Silence several warnings (missing _ in records, unused variables).

Force compilation with -w @A-4 (all warnings but warning number 4
turned into errors. Warning 4 is 'Fragile pattern-matching').

Fix the printing of attributes.

Remove dead code.

Allow one to pass several targets to the build script.

Update hacking instructions.

Simply use String.make for Pretty.padding and Pretty.line, since it's
only used in places where performance is not critical.

Replace internal use of str_formatter with local buffered formatter in
Atom.print and Formula.print. Use of str_formatter in both was not re-entrant
and caused printing error when displaying a formula containing an Atom.

Only print ∑ instead of ∑-{} when the set is universal.

First implementation of compilation from XPath to automata using
the reverse axes technique.

Add the compilation from existential XPath to automata.
This patches misses the book-keeping stuff to keep to build the automaton
object and the compilation of the top-level part of the query.

Add a specific prefix for QNames that represent attributes.
Use that prefix in the naive tree implementation for attribute nodes.

Synchronise build script with master.

Compilation of the axis part of an XPath expression.

Make the build script compatible with emacs compile mode.

Add functions to normalize an automaton:
 (1) Ensures that adding transitions leaves them pairwise disjoint
 (2) Add a function to complete an automaton with dummy states
 (3) Add a normalization function that replaces negative atoms with
     a positive state recognizing the complement

Build script can be called from a subdirectory of the project root.

Clean-up the build system.
- Add a portable build script (only requires ocaml)
- Regroup all build option in the _tags file
- Write a generic myocamlbuild.ml file

Use ocamlbuild's built-in support for ocamlfind (requires ocaml 3.12.1)

Silences the Makefile.

Refactor module organisation and build process.

Implement formulae parametrized by atomic predicates.

Refactor xpath parser and ast in a submodule.

Avoid one string concatenation in debug printing function.

Finish renaming Move constructor to Atom.

Sanitize header files and add a timestamp mark in each source file.

Rewrite parser using ocamlyacc to remove further dependencies
on camlp4.

Rewrite the AST to conform to the W3C grammar

Add automata data structure.

Remove AbsoluteDOS from the XPath AST.

Use ocamlfind to invoke pa_macro appropriately.

Compile again.

Modify the run_test script.

Merge branch 'master' of ssh://git.nguyen.vg/tatoo

Cosmetic changes in the Patricia Tree code.

Refactor the code to have a unique place for signature definition.
Re-architecture the code to have all signatures in the sigs.ml module.
Any signature which occurs at least twice in the code (e.g. in a.ml
and corresponding a.mli) is put in a module A in Sigs. The signature
can the be included in a.ml and its 'module type of' can be included
in a.mli.

private signatures can stay in the .ml files where they appear.

With -f, we can read the XPath query in a file.

Queries and script for testing.

Remove spurious debugging statement.

Add attributes to the test document.

Add support for attribute nodes. Correctly escape special charaters
during printing.

Add support for text elements in the XML document.

Merge branch 'master' of ssh://git.nguyen.vg/tatoo

Conflicts:
.gitignore

Add .gitignore and ignore result of compilation.

.gitignore for test.native and _build

Usable version:
       - use ocamlbuild
       - cherry pick Pretty, State, StateSet and Formula from SXSI
       - Parsing of XML documents

Add autoconf infrastructure, license, and macro files.