History log of /seL4-l4v-10.1.1/isabelle/src/Pure/Tools/spell_checker.scala
Revision Date Author Comments
# 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