From ea685f0b190b51d3e33ce54ad2b4ab4e9ab5c9f2 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Thu, 9 Nov 2023 17:27:32 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index adea078..6f31969 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ This is the source code for a Lean 4 game platform hosted at [adam.math.hhu.de]( ## Creating a Game Please follow the tutorial [Creating a Game](doc/create_game.md). -In particular step 5 thereof explains [How to Run Games Locally](doc/running_locally.md). +In particular step 5 thereof explains [How to Run Games Locally](doc/running_locally.md) and step 7 [How to Update an existing Game](doc/update_game.md). ### Publishing a Game