Re: [isabelle] Automatically formatting Isabelle proof



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.