From: Trans <transfire@...>
Date: 2008-10-08T14:31:27+09:00
Subject: Tex <-> XML

Anyone have any use for a script that can translate Tex documents to
XML and  back again?

T.