From d41373e0cb914e42cbc91b45b01d1094e992a1c6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 8 Feb 2020 10:46:47 -0500 Subject: [PATCH] Link to Spring 2020 users of the book --- index.html | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index f8e33f6..9174503 100644 --- a/index.html +++ b/index.html @@ -21,15 +21,18 @@

Use in classes

-

Classes where FRAP is/was the primary text

+

Classes where FRAP is/was a primary text