Settings text

leanprover-community · Dec 18, 2023 · 1f1007f · 1f1007f
1 parent a33976a
commit 1f1007f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Projects/MathlibLatest/lake-manifest.json b/Projects/MathlibLatest/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "6b4cf96c89e53cfcd73350bbcd90333a051ff4f0",
+   "rev": "9dd24a3493cceefa2bede383f21e4ef548990b68",
    "name": "std",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -49,7 +49,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git",
    "subDir": null,
-   "rev": "5541d213521e95c5b7d73066de4ad78a600e6263",
+   "rev": "4310b5835ccd3419abce829560f9e5b096a36935",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",

diff --git a/client/src/Settings.tsx b/client/src/Settings.tsx
@@ -133,7 +133,7 @@ const Settings: React.FC<{closeNav, theme, setTheme, project, setProject}> =
                     setProject(ev.target.value)
                     console.log(`set Lean project to: ${ev.target.value}`)
                     }} >
-                <option value="plain">No imports</option>
+                <option value="plain">Stable Lean</option>
                 <option value="MathlibLatest">Latest Mathlib</option>
                 <option value="DuperDemo">Latest Duper</option>
               </select>