phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update create_game.md

Browse Source
This commit is contained in:
Jon Eugster
2023-11-09 17:20:47 +01:00
committed by GitHub
parent 21070af13c
commit d71b895550
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/create_game.md
+1 -1
View File
@@ -245,7 +245,7 @@ That way, the game will replace it with the actual name the assumption has in th
## 7. Update your game
In principle, it is as simple as modifying `lean-toolchain` to update your game to a new Lean version. However, you should read about the details in [Update An Existing Game](https://github.com/leanprover-community/lean4game/edit/main/doc/update_game.md).
In principle, it is as simple as modifying `lean-toolchain` to update your game to a new Lean version. However, you should read about the details in [Update An Existing Game](https://github.com/leanprover-community/lean4game/blob/main/doc/update_game.md).
## Further Notes