From 08e9226e22155d89e6a7c503ab02994d4ef51f23 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Fri, 14 Feb 2025 09:47:25 +0000
Subject: [PATCH] refactor: Update informal graph

---
 scripts/MetaPrograms/informal.lean | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/scripts/MetaPrograms/informal.lean b/scripts/MetaPrograms/informal.lean
index 44a1adf..fbaa8de 100644
--- a/scripts/MetaPrograms/informal.lean
+++ b/scripts/MetaPrograms/informal.lean
@@ -193,7 +193,7 @@ layout: default
 <!DOCTYPE html>
 <html>
 <head>
-    <title>Informal dependency graph for HepLean</title>
+    <title>Informal dependency graph for PhysLean</title>
     <style>
         /* Optional styling for the message display */
         #message {
@@ -218,10 +218,10 @@ layout: default
     <script src=\"https://unpkg.com/d3-graphviz@3.0.5/build/d3-graphviz.js\"></script>
 
     <!-- Add a title to the page -->
-    <h1 style=\"text-align: center;\">Informal dependency graph for HepLean</h1>
+    <h1 style=\"text-align: center;\">Informal dependency graph for PhysLean</h1>
     <p style=\"text-align: center;\">Click on a node to display the text associated with it.</p>
     <p style=\"text-align: center;\">This graph only shows informal results (gray) and their direct formal dependencies (blue).
-    It does not show all results formalised into HepLean.</p>
+    It does not show all results formalised into PhysLean.</p>
     <!-- Div to display the graph -->
     <div id=\"graph\" style=\"width: 75vw; height: 75vh; border: 1px solid black\"></div>
 
@@ -299,7 +299,7 @@ def IO.withStdoutRedirectedTo {α} (filePath : System.FilePath) (action : IO α)
 
 unsafe def main (args : List String) : IO Unit := do
   initSearchPath (← findSysroot)
-  let rootModule := `HepLean
+  let rootModule := `PhysLean
   CoreM.withImportModules #[rootModule] do
     /- Build informal dependencies with all information necessary. -/
     let depDecls ← DepDecls.ofRootModule rootModule
