- First commit of MaTeX:

- First commit of MaTeX:
  an utility for typesetting the terms produced by matita il LaTeX

- The AST nodes of terms are output as LaTeX macros

- The user configures the desired rendering of terms by
  defining these macros in a LaTeX stylesheet

- Each term inside objects is output in a separate file
  for easy inclusion in the main document

- This softare originates from "coqpp", our appication with which
  Coq terms were typeset in UBLCS 2006-01

as of now,
only Constant objects are accepted and
Const is not processed properly