modify config

leanprover-community · Apr 26, 2024 · d61c603 · d61c603
1 parent 28b7a2d
commit d61c603
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/client/src/config.json b/client/src/config.json
@@ -1,11 +1,5 @@
 {
   "projects": [
-    { "folder": "lean4web-tools",
-      "name": "Stable Lean",
-      "examples": [
-        {"file": "Webeditor.lean", "name": "Test"}
-      ]
-    },
     { "folder": "mathlib-demo",
       "name": "Latest Mathlib",
       "examples": [
@@ -17,6 +11,13 @@
           "name": "Ring"},
         { "file": "MathlibLatest/Rational.lean",
           "name": "Rational"}
-      ]}
+      ]
+    },
+    { "folder": "lean4web-tools",
+      "name": "Stable Lean",
+      "examples": [
+        {"file": "Webeditor.lean", "name": "Test"}
+      ]
+    }
   ]
 }