[isabelle] error mit Pretty.T


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

  -- Lars

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