check

book.tex

@@ -263,8 +263,9 @@ Chapter~\ref{ch:Rwhile}. Figure~\ref{fig:chapter-dependences} depicts
 the dependencies between chapters.
 
 This book has also been used in compiler courses at California
-Polytechnic State University, Rose–Hulman Institute of Technology, and
-University of Massachusetts Lowell.
+Polytechnic State University, Portland State University, Rose–Hulman
+Institute of Technology, University of Massachusetts Lowell, and the
+University of Vermont.
 
 
 \begin{figure}[tp]
@@ -296,13 +297,21 @@ University of Massachusetts Lowell.
   \label{fig:chapter-dependences}
 \end{figure}
 
+\racket{
 We use the \href{https://racket-lang.org/}{Racket} language both for
 the implementation of the compiler and for the input language, so the
 reader should be proficient with Racket or Scheme. There are many
 excellent resources for learning Scheme and
-Racket~\citep{Dybvig:1987aa,Abelson:1996uq,Friedman:1996aa,Felleisen:2001aa,Felleisen:2013aa,Flatt:2014aa}. The
-support code for this book is in the \code{github} repository at the
-following URL:
+Racket~\citep{Dybvig:1987aa,Abelson:1996uq,Friedman:1996aa,Felleisen:2001aa,Felleisen:2013aa,Flatt:2014aa}.
+}
+\python{
+  This edition of the book uses the \href{https://www.python.org/}{Python}
+  both for the implementation of the compiler and for the input language, so the
+reader should be proficient with Python. There are many
+excellent resources for learning Python~\citep{}.
+}
+The support code for this book is in the \code{github} repository at
+the following URL:
 \begin{center}\small
   \url{https://github.com/IUCompilerCourse/public-student-support-code}
 \end{center}