equal
deleted
inserted
replaced
712 val ss = |
712 val ss = |
713 map (fn (name, value) => quote name ^ " set to " ^ value) |
713 map (fn (name, value) => quote name ^ " set to " ^ value) |
714 options |
714 options |
715 in |
715 in |
716 print ("Try again with " ^ |
716 print ("Try again with " ^ |
717 implode (serial_commas "and" ss) ^ |
717 space_implode " " (serial_commas "and" ss) ^ |
718 " to confirm that the " ^ das_wort_model ^ |
718 " to confirm that the " ^ das_wort_model ^ |
719 " is genuine.") |
719 " is genuine.") |
720 end |
720 end |
721 else |
721 else |
722 print ("Nitpick is unable to guarantee the authenticity of \ |
722 print ("Nitpick is unable to guarantee the authenticity of \ |