Re: [isabelle] 2014-RC1 issues



> Depends how you write your source text.  jEdit folds and Sidekick trees 
> assume that the first line provides the main information.  This is also 
> the reason why I write definitions and theorem statements these days a bit 
> differently than in the past, when Proof General was still there.

My main restriction when writing proof text comes from the document
generation to latex, where I want a readable layout. And this forces me
to have no lines longer than roughly 80 characters. As I have many
longer lemma statements, I need to format them manually into multiple
lines.

--
  Peter





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