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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and