From 49a020a348cfd6dfc4d04f0bc1790e4b1aaa93b0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 18 Dec 2017 17:08:23 -0500 Subject: [PATCH] 6.822 Spring 2018 --- index.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 19c6bb0..1a00bae 100644 --- a/index.html +++ b/index.html @@ -23,8 +23,9 @@

Classes where FRAP is/was the primary text