-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
Greetings, I'm curious if anyone has advice for decent auto-indentation when using emacs to edit theory scripts. In particular, the sml-mode indentation for quotations in definitions is egregiously bad. The best current practice from Ramana and a responder on IRC seems to be disabling auto indentation and manually indenting. If the current sml-mode is inadequate, maybe someone has ideas for an indentation algorithm for a custom hol-mode? Best, - -- cmr +610481782084 http://octayn.net/ -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCgAGBQJXoeA+AAoJEKien4+3HpuLbFgH/iXLo6PWFqaG4Um9vkZvsm+z xUunpaeQYSznGgnEMHbNhxbEwb/6wrreZFBvL3Id5elk+T6TOPCnylH2tAyO51LM Xyqv5VEFf3Os79sPoshsRYf0sAoS3b4uuaX7BIU+gx7jLCVEhQyxoePZAxdhS2J3 BCxXBez7L+jIT/n8VKe1iUSFS3NA3apCbSOLIV4UhlKJBK1ZfeAYxee6UfTprkLO NHRGV8y8SfsgaehpyWFZebckIeBPc2V3UepZAOUm6vPd/2yKAlAh3niToX1/YLLl f0iRVaNJWFkpbSMvtQ23I8ZoitB0DuTqbfn9ZoaGwyGMjZXjaBfLJrMuIg2lWfY= =hkqT -----END PGP SIGNATURE----- ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
