Re: [isabelle] Isabelle document preparation



On Fri, 23 Jan 2009, Peter Lammich wrote:

> I had a look at the generated tex-sources tonight, and finally did an 
> approach that is similar to the perl-script, but using tex. I added to 
> the root.tex, just after the style is defined:

> Probably, I could modify the sty - file directly, however I will have to 
> figure out where I have to place the modified isabelle.sty file, in 
> order not to get overwritten by the make-script.

Since the overall arrangement of the document sources is done in root.tex, 
which is under your control, you can just place your modification there 
after the initial \usepackage commands.


	Makarius





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