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 63165 c12845e8e80a
parent 63091 54f16a0a3069
child 63190 3e79279c10ca 
--- a/src/HOL/ROOT	Thu May 26 15:27:50 2016 +0200
+++ b/src/HOL/ROOT	Thu May 26 15:31:04 2016 +0200
@@ -619,6 +619,7 @@
     Erdoes_Szekeres
     Sum_of_Powers
     Sudoku
+    Code_Timing
   theories [skip_proofs = false]
     Meson_Test
   document_files "root.bib" "root.tex"
isabelle