Re: [isabelle] LaTeX document



On Fri, 22 Sep 2006, Francisco Jose CHAVES ALONSO wrote:

> 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?

See the documentation, notably the system manual.  The usage of isatool 
usedir will also give you the right clues, e.g. about option -D to dump 
generated document sources.


	Makarius






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