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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
