Section: Software and Platforms

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 in 2012.