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? Thanks, Alasdair
_______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
