Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adjusted to fc221fa79741;
authorwenzelm
Tue, 27 Nov 2018 23:44:05 +0100
changeset 69353 a6e83dcc00e6
parent 69352 f557375f6e17
child 69354 600727ff6889
adjusted to fc221fa79741;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Nov 27 23:41:37 2018 +0100
+++ b/etc/options	Tue Nov 27 23:44:05 2018 +0100
@@ -221,7 +221,7 @@
 public option spell_checker_dictionary : string = "en"
   -- "spell-checker dictionary name"
 
-public option spell_checker_include : string = "words,comment,inner_comment,ML_comment,SML_comment"
+public option spell_checker_include : string = "words,comment,comment1,comment2,comment3,ML_comment,SML_comment"
   -- "included markup elements for spell-checker (separated by commas)"
 
 public option spell_checker_exclude : string = "no_words,antiquoted"
isabelle