[isabelle] error mit Pretty.T



Hi,

I just build a complex error message with "error o Pretty.string_of" and
was surprised to not see any linebreaks (for example, from
Pretty.biglist) in the output. For now, I work around it using
Pretty.string_of_margin with a fixed width. What is the correct solution
here?

  -- Lars




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