[isabelle] LaTeX document



Hi,

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
-- 
Francisco José Cháves (ENS-LIP) 
mailto: Francisco.Jose.Chaves.Alonso at ens-lyon.fr
http://perso.ens-lyon.fr/francisco.jose.chaves.alonso
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.