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?

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
[http://cococo.de/Elbe]

Greetings and wishes for a good 2014
Jens




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