[isabelle-dev] proof state layout

[Tobias Nipkow]

When I look at how proof states are displayed in the document prog-prove.pdf dated April 29 it looks like it always did. However, when I produced the same document today I find that the pretty printer no longer inserts line breaks in subgoals but displays them as one long line. For example on page 11. What happened and how can I get the line breaks back?

Tobias

smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev