git.nguyen.vg Git - tatoo.git/commit

projects / tatoo.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8e50f65) | patch

author	Kim Nguyễn <kim.nguyen@lri.fr>
	Tue, 18 Apr 2017 09:10:20 +0000 (11:10 +0200)
committer	Kim Nguyễn <kim.nguyen@lri.fr>
	Tue, 18 Apr 2017 09:10:20 +0000 (11:10 +0200)
commit	9aac68104b40c05f6dcd65cdd18316400ce26652
tree	cab57753a0c4fc34861eae86a7386d684e99ad13	tree \| snapshot
parent	8e50f654329b71a1839a7435a89d4df768f8406f	commit \| diff

Update reference to saxon jar file.

.gitignore		diff \| blob \| history
tests/gen_ref_saxon.sh		diff \| blob \| history

Tree Automata TOOlkit