I've finally updated the versions of edoc and syntax_tools in the jungerl (the code is the same that you can find at http://user.it.uu.se/~richardc/edoc/). /Richard