projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10aa93a) | patch
Add a specific prefix for QNames that represent attributes.
authorKim Nguyễn <kn@lri.fr>
Thu, 14 Feb 2013 16:23:35 +0000 (17:23 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 18:00:12 +0000 (19:00 +0100)
commitfadcbf2f6f9f33b844fd5e875a1bda4bed446a43
treec342dbb2825dce9eb0128dee9abc2f956805140dtree | snapshot
parent10aa93a09950c79d316594aa7d4bb62b64c1a60bcommit | diff
Add a specific prefix for QNames that represent attributes.
Use that prefix in the naive tree implementation for attribute nodes.
src/tree/naive.ml diff | blob | history
src/utils/qName.ml diff | blob | history
src/utils/qName.mli diff | blob | history
Tree Automata TOOlkit