more explicit type Latex.Tags;
generate isabelletags.sty from Isabelle/Scala, including comment.sty setup;