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