[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