src/HOL/Codegenerator_Test/ROOT.ML

added make target 'smlnj' to refer to what can/should be tested using smlnj -- allows the use of "isabelle makeall smlnj";
adapted test configuration SML_makeall

use_thys ["Generate", "Generate_Pretty"];