Daniel Veillard schrieb:
latest version from git , 2.7.3 based, I ran gdb on xmllint --shell
Phantastic - I've used xmllint a zillion times, but I was totally unaware it had a --shell option! That's great - thanks, Daniel! Michael Ludwig