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

Makarius makarius at sketis.net
Thu Feb 18 00:03:32 CET 2016

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: 

At that time the loading of the ML system was hard-wired into the 
Makefiles, e.g. see 


More information about the isabelle-dev mailing list