no censorship (in contrast to 2c828c830ad7);
authorwenzelm
Tue Oct 31 15:13:08 2017 +0100 (19 months ago)
changeset 66956696251bf6aec
parent 66955 289f390c4e57
child 66957 82d13ba817b2
no censorship (in contrast to 2c828c830ad7);
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Tue Oct 31 13:59:19 2017 +0000
     1.2 +++ b/src/HOL/ROOT	Tue Oct 31 15:13:08 2017 +0100
     1.3 @@ -232,7 +232,6 @@
     1.4    document_files "root.bib" "root.tex"
     1.5  
     1.6  session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
     1.7 -  options [browser_info = false]
     1.8    sessions
     1.9      "HOL-Data_Structures"
    1.10      "HOL-ex"