A large number of Z specifications are in files with .tex extension. Should we handle them as well easily? Would it clash with possible TeX editors (e.g. TeXlipse?
Log in to post a comment.