adding a warning that this is the tutorial for the HoTT snapshot

AndresTFG · Jan 3, 2017 · 1389e64 · 1389e64
1 parent 9e38ae2
commit 1389e64
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -6,6 +6,7 @@ Lean Tutorial
  - Web : https://leanprover.github.io/tutorial
  - PDF : https://leanprover.github.io/tutorial/tutorial.pdf
 
+Please note that this is the tutorial for the snapshot of Lean which allows the use of homotopy type theory. It is /not/ the [[https://github.com/leanprover/introduction_to_lean][tutorial]] for the [[https://github.com/leanprover/lean][active development branch]].
 
 How to Build
 ------------