[isabelle] LaTeX document


I need the TeX file generated by Isabelle, to extract some parts for
another document that I also generate with another command. 
"isatool make" delete the TeX generated file. It is possible to save it?

Thanks in advance

Francisco José Cháves (ENS-LIP) 
mailto: Francisco.Jose.Chaves.Alonso at ens-lyon.fr
ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE
Phone: (+33) 4 72 72 84 36 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.