[isabelle-dev] NEWS: SML/NJ is no longer supported

[Makarius]

See Isabelle/fdd6989cc8a0, with quite substantial deletion of conditional 
ML modules (more is coming).

Just for information: this is how the deleted compatibility file looked 
like in 1993: 
http://isabelle.in.tum.de/repos/isabelle/file/a5a9c433f639/src/Pure/NJ.ML

At that time the loading of the ML system was hard-wired into the 
Makefiles, e.g. see 
http://isabelle.in.tum.de/repos/isabelle/file/a5a9c433f639/src/FOL/Makefile


 	Makarius