update to 1.3.1

ImperialCollegeLondon · May 6, 2020 · d9ab787 · d9ab787
1 parent 1697022
commit d9ab787
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/game_config.toml b/game_config.toml
@@ -1,5 +1,5 @@
 name = "Natural number game"
-version = "1.3.0"
+version = "1.3.1"
 extra_files = "extras"
 intro = "src/game/intro.lean"
 

diff --git a/src/game/intro.lean b/src/game/intro.lean
@@ -1,5 +1,5 @@
 /-
-# The Natural Number Game, version 1.3.0
+# The Natural Number Game, version 1.3.1
 
 ## By Kevin Buzzard and Mohammad Pedramfar. 
 
@@ -28,7 +28,7 @@ hit "main menu" in the top left to get back here.
 
 For more info, see the <a href="http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/FAQ.html" target="blank">FAQ</a>.
 
-# What's new in v1.3?
+# What's new in v1.3.1?
 
 You should be able to save your state!