From 4e3ccecd20e572ec883a8dce327277dc499712bd Mon Sep 17 00:00:00 2001
From: reevafaisal <reevaf@umich.edu>
Date: Thu, 24 Oct 2024 17:13:58 -0400
Subject: [PATCH] manual merge solve attempt for src/haz3lweb/Init.ml

---
 src/haz3lweb/Init.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/haz3lweb/Init.ml b/src/haz3lweb/Init.ml
index da769b501..ef5bbb2f7 100644
--- a/src/haz3lweb/Init.ml
+++ b/src/haz3lweb/Init.ml
@@ -27,9 +27,10 @@ let startup : PersistentData.t =
         context_inspector = false;
         instructor_mode = true;
         benchmark = false;
-        mode = Tutorial;
+        (* mode = Tutorial; *)
         explainThis =
           { show = true; show_feedback = false; highlight = NoHighlight };
+        mode = Documentation;
       };
     scratch =
       ( 0,