1) In using the axiommode.el file by Jay Belanger, Cliff Yapp, and Francois Maltey, it hangs on "M-x run-axiom" when trying to parse my ".axiom.input" file. From a console, both axiom and AXIOMsys start with no problems - how can I debug my input file? What might be causing it to hang?
2) Is there an emacs mode which includes the usual niceties: syntax highlighting, automatic indentation etc, for writing .input files?