X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/4b11ed9d4cc6ed43f6688a60a400783656b0cde5..23d27f16834523e0592219d05dbbc577366b22a3:/bandali/pages.scm

diff --git a/bandali/pages.scm b/bandali/pages.scm
index ec6c975..dccfbd1 100644
--- a/bandali/pages.scm
+++ b/bandali/pages.scm
@@ -55,10 +55,6 @@
        "programming languages, theorem provers, and their "
        "type systems.  You may wish to view my academic "
        ,(aa "curriculum vitae" "bandali-cv.html") ".")
-    (p (@ (class "notice"))
-       (strong "SE 212 students: ")
-       "see " ,(aa "here" "se212-f19/") " for slides and other "
-       "material from the tutorials.")
     (p "On the side, I dabble in "
        ,(aa "Lean" "https://leanprover.github.io") " and enjoy "
        ,(aa "hacking" "https://stallman.org/articles/on-hacking.html")
@@ -292,8 +288,9 @@
         "Research Assistant")
      (ul
       (li (abbr (@ (title "Logic and Computation")) "SE 212") ": "
-          (abbr (@ (title "Instructional Apprentice")) "IA") " in "
-          "Fall 2019, "
+          ,(aa `((abbr (@ (title "Instructional Apprentice")) "IA")
+                 " in Fall 2019") "se212-f19/")
+          ", "
           (abbr (@ (title "Teaching Assistant")) "TA") " in "
           "Fall 2018")
       (li (abbr (@ (title ,(string-append