Re: [isabelle] Automatically formatting Isabelle proof



I>sabelle/jEdit has no option to do code formatting, however the old
ProofGeneral interface can do this.

How to do this in old
ProofGeneral interface, I can use emacs interface to do it.


On Tue, Jan 7, 2014 at 4:48 PM, Lars Noschinski <noschinl at in.tum.de> wrote:

> On 01/07/2014 02:11 AM, li yongjian wrote:
> > Is there a hot-key to format all the proof scripts by automatically
> > indenting?
> Isabelle/jEdit has no option to do code formatting, however the old
> ProofGeneral interface can do this.
>
>



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