Re: [isabelle] Document preparation

On Wednesday 15 April 2009 21:28:55 Makarius wrote:
> comment.sty is often packaged as "extra" stuff, e.g. tetex-extra on some
> Linux distributions.

Thanks! Your advice put me on exactly the right track, and I quickly found 
texlive-latex-extra in Kubuntu. Problem solved.


Attachment: signature.asc
Description: This is a digitally signed message part.

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