# HG changeset patch
# User wenzelm
# Date 1509459188 -3600
# Node ID 696251bf6aec03a2e047f0ef171e18a79776f36f
# Parent  289f390c4e578eb2e04d76573ca2fc152b5cb76a
no censorship (in contrast to 2c828c830ad7);

diff -r 289f390c4e57 -r 696251bf6aec src/HOL/ROOT
--- 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"