manual merge solve attempt for src/haz3lweb/Init.ml

hazelgrove · Oct 24, 2024 · 4e3ccec · 4e3ccec
1 parent d90f2df
commit 4e3ccec
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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,