update page

ucsd-progsys · Jan 5, 2018 · 946caba · 946caba
1 parent ca7555a
commit 946caba
Show file tree

Hide file tree

Showing 18 changed files with 35 additions and 35 deletions.
diff --git a/docs/assignments.html b/docs/assignments.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -316,7 +316,7 @@ <h2 id="programming-assignments">Programming Assignments</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/assignments/hw0.html b/docs/assignments/hw0.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -526,7 +526,7 @@ <h3 id="c-15-20-points">(c) 15 + 20 points</h3>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/calendar.html b/docs/calendar.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -294,7 +294,7 @@ <h2 id="calendar-deadlines-office-hours">Calendar (Deadlines, Office Hours)</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/contact.html b/docs/contact.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -303,7 +303,7 @@ <h2 id="teaching-assistants">Teaching Assistants</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/grades.html b/docs/grades.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -295,7 +295,7 @@ <h1>Grading</h1>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/index.html b/docs/index.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -301,7 +301,7 @@ <h2 id="research">Research</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures.html b/docs/lectures.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -325,7 +325,7 @@ <h2 id="discussions">Discussions</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures/01-introduction.html b/docs/lectures/01-introduction.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -466,7 +466,7 @@ <h3 id="a-few-words-on-the-medium-of-instruction">A few words on the medium of i
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures/02-haskell.html b/docs/lectures/02-haskell.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -589,7 +589,7 @@ <h2 id="printf-debugging">Printf Debugging</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures/03-adder.html b/docs/lectures/03-adder.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -850,7 +850,7 @@ <h3 id="using-a-recipe">Using a Recipe</h3>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures/04-boa.html b/docs/lectures/04-boa.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -945,7 +945,7 @@ <h2 id="recap-and-summary">Recap and Summary</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures/05-cobra.html b/docs/lectures/05-cobra.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -1205,7 +1205,7 @@ <h2 id="recap">Recap</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures/06-diamond.html b/docs/lectures/06-diamond.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -950,7 +950,7 @@ <h2 id="recap">Recap</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">

diff --git a/docs/lectures/07-egg-eater.html b/docs/lectures/07-egg-eater.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -927,7 +927,7 @@ <h2 id="recap">Recap</h2>
 
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="https://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">