A <a href="http://www.jedsoft.org/jed/">Jed mode</a>
for editing ".aut" files
(containing <a href="http://www.win.tue.nl/automath/">Automath</a> textual syntax):
<a href="http://lambdadelta.info/download/automath.sl">automath.sl</a>
(revised <span class="emph gamma">2008-07</span>).
</li>
A <a href="http://www.jedsoft.org/jed/">Jed mode</a>
for editing ".aut" files
(containing <a href="http://www.win.tue.nl/automath/">Automath</a> textual syntax):
<a href="http://lambdadelta.info/download/automath.sl">automath.sl</a>
(revised <span class="emph gamma">2008-07</span>).
</li>