[isabelle] Indent command in JEDIT/ISabelle



Dear Isabelle users:
   Who have used the Ident command in Jedit?
   

   Is it usefult to foramt the proof scripts?

regards!
yongjian Li

2014-09-04 



lyj238 

JPEG image



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