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.
tuned message;
authorwenzelm
Mon, 24 Oct 2016 11:48:32 +0200
changeset 64368 364d74ea985f
parent 64367 a424f2737646
child 64369 6a9816764b37
tuned message;
src/Pure/Admin/check_sources.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/check_sources.scala	Mon Oct 24 11:42:39 2016 +0200
+++ b/src/Pure/Admin/check_sources.scala	Mon Oct 24 11:48:32 2016 +0200
@@ -41,7 +41,7 @@
       Output.warning("CR character" + Position.here(file_pos))
 
     if (Word.bidi_detect(content))
-      Output.warning("Bidirectional Unicode text " + Position.here(file_pos))
+      Output.warning("Bidirectional Unicode text" + Position.here(file_pos))
   }
 
   def check_hg(root: Path)
isabelle