projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c24457c b146572)
Merge branch 'pretty-print'
authorKim Nguyễn <kn@lri.fr>
Fri, 26 Oct 2012 12:07:00 +0000 (14:07 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 26 Oct 2012 12:07:00 +0000 (14:07 +0200)
commit6b6491b1c9d8b425110e65dcff44c6d98aa54e10
treeca17155d7c74b8d6f090076c4964aaaee36b885btree | snapshot
parentc24457c0df47a48b78bdfc93c3f2e4585687c639commit | diff
parentb146572b9707292dbc1eacf5fb67d84271cafbbacommit | diff
Merge branch 'pretty-print'

This branch reworks the pretty-printing infrastructure. This allows to give
the printer of log messages more control on format's boxes (which is necessary
for proper display).
XPath Library based on tree automata.