17 Aug
2012
17 Aug
'12
2:57 p.m.
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.