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

Elbe contains this facility regardless of language. I am currently considering an update of the software. If somebody was willing to help me we could build an Isabelle formatter very soon

Greetings and wishes for a good 2014

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