Section: Software
Tralics
Participant : José Grimm [correspondant] .
Tralics is a Latex-to-XML translator available at http://www-sop.inria.fr/marelle/tralics . Version 2.15 has been released this year. Some features have been added, and some bugs corrected.