src/Pure/Tools/spell_checker.scala
2017-06-20 wenzelm 2017-06-20 tuned signature;
2017-06-19 wenzelm 2017-06-19 tuned signature; clarified modules;
2017-06-19 wenzelm 2017-06-19 clarified modules;
2017-06-01 wenzelm 2017-06-01 tuned signature;
2017-04-04 wenzelm 2017-04-04 tuned headers;
2017-03-07 wenzelm 2017-03-07 clarified modules: spell-checker in Pure;