feat(quick reference): emphasize that this is for Lean 2

AndresTFG · May 26, 2017 · 07c35e0 · 07c35e0
1 parent d0dd6d0
commit 07c35e0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/A1_Quick_Reference.org b/A1_Quick_Reference.org
@@ -1,10 +1,12 @@
-#+Title: Lean Quick Reference
+#+Title: Lean 2 Quick Reference
 #+Author: [[http://www.andrew.cmu.edu/user/avigad][Jeremy Avigad]], [[http://leodemoura.github.io][Leonardo de Moura]], [[http://www.cs.cmu.edu/~soonhok][Soonho Kong]]
 #+DATE: \href{https://github.com/leanprover/tutorial/commit/\gitHash}{Version \gitAbbrevHash}, updated at \gitAuthorIsoDate
 #+OPTIONS: H:4
 
 * Quick Reference
 
+Note that this quick reference guide describes Lean 2 only.
+
 ** Displaying Information
 
 #+BEGIN_SRC text

diff --git a/header/latex_quickref.tex b/header/latex_quickref.tex
@@ -35,7 +35,7 @@
 % Colors, links, syntax highlighting
 \usepackage[dvipsnames,table]{xcolor}
 \hypersetup{
-    pdftitle={Lean Quick Reference},
+    pdftitle={Lean 2 Quick Reference},
     pdfauthor={Jeremy Avigad, Leonardo de Moura, Soonho Kong},
     colorlinks,
     linkcolor=Sepia,