add apple static files

dbp · Nov 11, 2019 · 29b4b00 · 29b4b00
1 parent 00ce339
commit 29b4b00
Show file tree

Hide file tree

Showing 19 changed files with 1 addition and 1 deletion.
diff --git a/_site/index.html b/_site/index.html
@@ -66,7 +66,7 @@ <h3 id="publications">Publications</h3>
 </div>
 </div>
 <h3 id="teaching">Teaching</h3>
-<p><strong>Fall 2019: </strong> <a href="./courses/verifcomp">CS4910: Verified Compilers and Multi-Language Software</a></p>
+<p><strong>Fall 2019: </strong> <a href="https://verifcomp.dbp.io">CS4910: Verified Compilers and Multi-Language Software</a></p>
 <h3 id="talks">Talks</h3>
 <div class="pubs">
 <strong>On Compositional Compiler Correctness and Fully Abstract Compilation.</strong>

diff --git a/_site/static/apple/IMG_0100.jpg b/_site/static/apple/IMG_0100.jpg
diff --git a/_site/static/apple/IMG_0103.jpg b/_site/static/apple/IMG_0103.jpg
diff --git a/_site/static/apple/IMG_0106.jpg b/_site/static/apple/IMG_0106.jpg
diff --git a/_site/static/apple/IMG_0107.jpg b/_site/static/apple/IMG_0107.jpg
diff --git a/_site/static/apple/IMG_0110.jpg b/_site/static/apple/IMG_0110.jpg
diff --git a/_site/static/apple/IMG_0117.jpg b/_site/static/apple/IMG_0117.jpg
diff --git a/_site/static/apple/IMG_0118.jpg b/_site/static/apple/IMG_0118.jpg
diff --git a/_site/static/apple/IMG_0128.jpg b/_site/static/apple/IMG_0128.jpg
diff --git a/_site/static/apple/IMG_0130.jpg b/_site/static/apple/IMG_0130.jpg
diff --git a/static/apple/IMG_0100.jpg b/static/apple/IMG_0100.jpg
diff --git a/static/apple/IMG_0103.jpg b/static/apple/IMG_0103.jpg
diff --git a/static/apple/IMG_0106.jpg b/static/apple/IMG_0106.jpg
diff --git a/static/apple/IMG_0107.jpg b/static/apple/IMG_0107.jpg
diff --git a/static/apple/IMG_0110.jpg b/static/apple/IMG_0110.jpg
diff --git a/static/apple/IMG_0117.jpg b/static/apple/IMG_0117.jpg
diff --git a/static/apple/IMG_0118.jpg b/static/apple/IMG_0118.jpg
diff --git a/static/apple/IMG_0128.jpg b/static/apple/IMG_0128.jpg
diff --git a/static/apple/IMG_0130.jpg b/static/apple/IMG_0130.jpg