add thesis DOI
[web.git] / research / .htaccess
index c4350fb..985ed3d 100644 (file)
@@ -1,2 +1,2 @@
-Redirect /~jung/iris/iris.pdf http://plv.mpi-sws.org/iris/paper.pdf
-Redirect /~jung/iris/logatom-talk-2019.pdf http://plv.mpi-sws.org/iris/talk-iris2019.pdf
+Redirect /~jung/iris/iris.pdf https://plv.mpi-sws.org/iris/paper.pdf
+Redirect /~jung/iris/logatom-talk-2019.pdf /~jung/iris/talk-iris2019.pdf