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.
more timing;
authorwenzelm
Wed, 01 Nov 2017 22:13:38 +0100
changeset 66986 5188b1c59434
parent 66985 7382ff5b46b9
child 66987 352b23c97ac8
more timing;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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