Re: [isabelle] Document preparation



On Wed, 15 Apr 2009, Tim McKenzie wrote:

I've also attached the log mentioned in the output of isatool make. Can anyone make sense of it? It mentions that it can't find comment.sty; where should I expect to find this?

comment.sty is often packaged as "extra" stuff, e.g. tetex-extra on some Linux distributions.


	Makarius





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