From d61c60333440bec50c1317aa4d431cbf799f6457 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 26 Apr 2024 03:36:31 +0200
Subject: [PATCH] modify config

---
 client/src/config.json | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/client/src/config.json b/client/src/config.json
index 147d86cf..d8f31662 100644
--- 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"}
+      ]
+    }
   ]
 }