Re: [isabelle] Unable to get document preparation system to work
On 29 January 2014 15:10, Makarius <makarius at sketis.net> wrote:
> On Wed, 29 Jan 2014, James Lingard wrote:
> I dived into the LaTeX sources, and it turns out that the problem was
>> that I was using the "wrong" version of comment.sty. I was using the most
>> recent version, version 3.7 (which dates from 2009). It seems that Isabelle
>> requires version 3.6.
> Just before the test, I had updated to recent MacTeX-2013 and its
> /usr/local/texlive/2013/texmf-dist/tex/latex/comment/comment.sty is still
> at version 3.6.
> Looking briefly at http://www.ctan.org/tex-archive/macros/latex2e/
> contrib/comment has the same 3.6 number in the blurb, but there is a
> brand-new version 3.7:
> comment.sty 9666 2014-01-23 07:36:21
That's weird. The copyright at the top of the file says July 2009. If it
really is brand new then that explains why I might have been the first
person to run into this.
Its inlined changelog says:
> Changes in 3.7
> % - only LaTeX support from now on
> % - code cleanup, and improvements on \specialcomment
> % - cleanup of the docs.
> This means it cannot be used with isabelle.sty, because of that:
> %plain TeX version of comment package -- much faster!
> If comment.sty 3.7 is actually better in latex mode now, it might be worth
> revisiting. But by default this is just a normal instance of "latex
> package version hell".
This archive was generated by a fusion of
Pipermail (Mailman edition) and