History log of /seL4-l4v-master/isabelle/src/Pure/Tools/spell_checker.scala
Revision Date Author Comments
# 1f5e8f92 15-Jan-2020 wenzelm <none@none>

misc tuning, following hint by IntelliJ;
# 838c7992 28-Nov-2018 wenzelm <none@none>

tuned signature;
# 9f3d4445 28-Nov-2018 wenzelm <none@none>

clarified signature;
# 7c43e5f4 20-May-2018 wenzelm <none@none>

prefer HTTPS;
# 7a11ac1e 06-Nov-2017 wenzelm <none@none>

tuned signature;
# a2f0748e 20-Jun-2017 wenzelm <none@none>

tuned signature;
# 6d615fa4 19-Jun-2017 wenzelm <none@none>

tuned signature;
clarified modules;
# ec6fa7fc 19-Jun-2017 wenzelm <none@none>

clarified modules;
# c9b6ddf3 01-Jun-2017 wenzelm <none@none>

tuned signature;
# 3626bec4 04-Apr-2017 wenzelm <none@none>

tuned headers;
# 2c79abce 07-Mar-2017 wenzelm <none@none>

clarified modules: spell-checker in Pure;

--HG--
rename : src/Tools/jEdit/src/spell_checker.scala => src/Tools/jEdit/src/jedit_spell_checker.scala