From c50b15d187f71a3cd9210a6e427817017aa002a7 Mon Sep 17 00:00:00 2001
From: Alex Kontorovich <58564076+AlexKontorovich@users.noreply.github.com>
Date: Mon, 18 May 2026 19:11:06 -0400
Subject: [PATCH] Update README.md

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 58ffd38..acf120a 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
 # Real Analysis, The Game
 
+Note that this is v0.1. Currently in progress (in a separate repo) is v1.0. Please continue to post Issues here, so we make sure to address them in the next version. But we're not currently maintaining v0.1. Thank you!
+
 This is a game for [lean4game](https://github.com/leanprover-community/lean4game/).
 
 The documentation about how to use this are at the [lean4game repository](https://github.com/leanprover-community/lean4game/):