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 whitespace;
authorwenzelm
Sun, 19 May 2019 14:14:56 +0200
changeset 70283 9ebbb53f4b50
parent 70282 242c50877dd2
child 70284 3e17c3a5fd39
tuned whitespace;
src/Pure/PIDE/document.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/document.ML	Sat May 18 13:23:36 2019 +0200
+++ b/src/Pure/PIDE/document.ML	Sun May 19 14:14:56 2019 +0200
@@ -812,7 +812,8 @@
                             forall (fn (name, (_, node)) => check_theory true name node) imports;
 
                         val (print_execs, common, (still_visible, initial)) =
-                          if imports_result_changed then (assign_update_empty, NONE, (true, true))
+                          if imports_result_changed
+                          then (assign_update_empty, NONE, (true, true))
                           else last_common keywords state node_required node0 node;
 
                         val common_command_exec =
isabelle