[isabelle-dev] NEWS: document preparation refinements

Tobias Nipkow nipkow at in.tum.de
Mon Oct 26 18:29:47 CET 2015

Thanks, that did the trick.


On 26/10/2015 18:16, Makarius wrote:
> On Sat, 24 Oct 2015, Tobias Nipkow wrote:
>> I don't know if this is related, but it must have happened recently: The
>> [display] option for antiquotations now (eg 436b7fe89cdc) generates latex that
>> indents the text following the display, even if there is no newline in
>> between. This is in contrast to latex conventions (eg \[ \]) and I would
>> rather not have to insert lots of \nondent by hand.
> There is indeed one \n too much, which may produce an unintended paragraph in
> LaTeX.
> I've changed that as follows:
> changeset:   61516:8e3705d91cfa
> tag:         tip
> user:        wenzelm
> date:        Mon Oct 26 18:04:17 2015 +0100
> summary:     clarified Latex.environment (again, amending e16649b70107): avoid
> additional paragraph, e.g. relevant for option [display];
>      Makarius

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5132 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20151026/6beda1bd/attachment.bin>

More information about the isabelle-dev mailing list