check

README.md

@@ -1,7 +1,8 @@
 # Essentials of Compilation
 
-This is the LaTeX sources for two books, one about compiling a subset of Racket to x86-64 assembly code
-and the other about compiling a subset of Python, also to x86-64.
+This is the LaTeX sources for two books, one about compiling a subset
+of Racket to x86-64 assembly code and the other about compiling a
+subset of Python, also to x86-64.
 
 **Generating the book**
 
@@ -17,4 +18,19 @@ you have a full install of TeX Live).
 If you are an instructor, you may also request access to the reference
 implementation of the compiler and the full test suite.
 
-* [Instructor Solution](https://github.com/IUCompilerCourse/course-compiler)
+* [Instructor Solution (Racket Version)](https://github.com/IUCompilerCourse/course-compiler)
+* [Instructor Solution (Python Version)](https://github.com/IUCompilerCourse/python-compiler)
+
+**Universities Using this Book**
+
+* California Institute of Technology
+* California Polytechnic State University, San Luis Obispo
+* IIIT Hyderabad
+* Portland State University
+* University of Basel
+* University of Colorado Boulder (older version of the book)
+* University of Freiburg
+* University of Vermont
+
+
+Instructors, please let me know if you plan to use this book in your course!