David Greenaway 4d05b632df proof-indent: Update proof indent script for Isabelle 2014. ... It is still a nasty hack, but now it seems to work with Isabelle 2014.		2014-09-29 15:46:54 +10:00
..
proof-indent.bsh	proof-indent: Update proof indent script for Isabelle 2014.	2014-09-29 15:46:54 +10:00