Hi, I'm new to Poly/ML. I'd like to start using it, but I still have to work with SML/NJ.
I use the well-known sml-mode-4.0. What should I use also to be able to work both with SML/NJ and Poly/ML? I've found this link: http://www.cs.cmu.edu/~fp/courses/98-linear/lib/emacs/sml-poly-ml.el Allows to start. But I'm not able to go back to SML/NJ after using Poly/ML. And 'next-error seems to be missing. Would someone have advices there? Thanks, Gael.
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
