Re: [isabelle] Unable to get document preparation system to work
- To: bnord <bnord01 at gmail.com>
- Subject: Re: [isabelle] Unable to get document preparation system to work
- From: Makarius <makarius at sketis.net>
- Date: Fri, 22 Aug 2014 13:36:53 +0200 (CEST)
- Cc: cl-isabelle-users at lists.cam.ac.uk
- In-reply-to: <53F5CE3A.email@example.com>
- References: <CAEtcs6G6=3xB5uYGDhj0YFRV17_o-RXvgT3GLfcwQpe7R+bK6Q@mail.gmail.com> <alpine.LNX.firstname.lastname@example.org> <CAEtcs6FZdqVOFXc5uBwfDLdgN=gDzF0T+AT7GFT5QYdQhFaREg@mail.gmail.com> <alpine.LNX.email@example.com> <CAEtcs6HLMa4ZMQ-HEii8SePRX9dGwxBQrAGe3D2mqULXrEoA_g@mail.gmail.com> <alpine.LNX.firstname.lastname@example.org> <alpine.LNX.email@example.com> <53F5CE3A.firstname.lastname@example.org>
- User-agent: Alpine 2.00 (LNX 1167 2008-08-23)
On Thu, 21 Aug 2014, bnord wrote:
Just wanted to pop this up again as the issue persists with 2014-RC4 and
comment.sty version 3.7 is in the stable branch of tex live.
What exactly do you mean by "the issue persists"?
The approach from 29-Jan-2014 still works today: using comment.sty 3.6
before the desastrous "fix". A copy of it was already included in all
Isabelle2014 release candidates, so it should work by default, if
documents are built the standard way. The "system" manual has an example
isabelle mkroot -d Test && isabelle build -D Test
You can then look in Test/output/document/root.log to see that a local
copy of comment.sty is used. If not, there is something utterly wrong.
Am 31.01.14 19:44, schrieb Makarius:
On Wed, 29 Jan 2014, Makarius wrote:
> On Wed, 29 Jan 2014, James Lingard wrote:
> > > 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.
> So from where did you get that version? TeXlive is not there yet,
> I use myself CTAN only as occasional reference, but have no idea how it
> is actually maintained. There is also no immediately visible changeset
> history, with names of authors etc.
> Maybe it is just an accident, with some experiment that someone made at
> some point, to the anoyance of plain TeX users.
I've looked again more closely at CTAN: the situation of
http://www.ctan.org/tex-archive/macros/latex2e/contrib/comment is a bit
odd, because comment.sty has been copied over with that 3.7 version from
2009, while everything else is still saying 3.6, including the
documentation (which claims that the package works with Plain TeX).
I've also tried again if it is feasible to run in regular LaTeX mode, but
then it is very slow, as already noticed in 2005, when I made this setup
So the present conclusion of this thread: Anybody who happens to be on a
latest-testing-unstable branch of some TeX installation can put a copy of
the included comment.sty 3.6 into $ISABELLE_HOME/lib/texinputs/. The
Isabelle document preparation system will copy it from there into the
document output directory, so that version should take precedence.
The next Isabelle release will probably have that comment.sty 3.6 as well,
but that is still several months ahead.
This archive was generated by a fusion of
Pipermail (Mailman edition) and