src/Pure/Tools/update_semicolons.scala
2014-12-03 ago tuned signature;
2014-11-01 ago command-line terminator ";" is no longer accepted;