Add POPL slides.

2015-01-26 15:37:55 +01:00 · 2015-01-26 15:37:55 +01:00 · 3f86aaae9d
parent 13aaf3fa14
commit 3f86aaae9d
2 changed files with 2 additions and 1 deletions
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@ -1776,7 +1776,8 @@ year = {2014}
  year      = {2015},
  url       = {http://arxiv.org/abs/1407.6845},
  jh        = yes,
-  eprint    = yes
+  eprint    = yes,
+  slides    = yes,
 }

@inproceedings{IOh01,
--- a/files/slides/BGGHRS15slides.pdf
+++ b/files/slides/BGGHRS15slides.pdf