[isabelle] Isabelle/jEdit and indentation



Dear list,

I am a new Isabelle/jEdit user, and I am used to tools to format code
automatically in other languages, so as to avoid the tedious task of
doing it myself. Is there any such possibility in Isabelle using jEdit
(to get the same format as, say, the theories included in the standard
distribution) or do you do it by hand?

Many thanks,
Quentin Hibon




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