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.
no censorship (in contrast to 2c828c830ad7);
authorwenzelm
Tue, 31 Oct 2017 15:13:08 +0100
changeset 66956 696251bf6aec
parent 66955 289f390c4e57
child 66957 82d13ba817b2
no censorship (in contrast to 2c828c830ad7);
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Tue Oct 31 13:59:19 2017 +0000
+++ b/src/HOL/ROOT	Tue Oct 31 15:13:08 2017 +0100
@@ -232,7 +232,6 @@
   document_files "root.bib" "root.tex"
 
 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
-  options [browser_info = false]
   sessions
     "HOL-Data_Structures"
     "HOL-ex"
isabelle