Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ROOT
changeset 66986 5188b1c59434
parent 66982 67595389aa8a
child 66992 69673025292e 
--- a/src/HOL/ROOT	Wed Nov 01 21:21:09 2017 +0100
+++ b/src/HOL/ROOT	Wed Nov 01 22:13:38 2017 +0100
@@ -371,7 +371,7 @@
     Games
   document_files "root.tex"
 
-session "HOL-Imperative_HOL" in Imperative_HOL = "HOL-Library" +
+session "HOL-Imperative_HOL" (timing) in Imperative_HOL = "HOL-Library" +
   options [print_mode = "iff,no_brackets"]
   theories Imperative_HOL_ex
   document_files "root.bib" "root.tex"
isabelle