oups

8b3f42f5 · Benoit Viguier · c2e7695a · 8b3f42f5 · 8b3f42f5 · 8b3f42f5
Commit 8b3f42f5 authored Mar 16, 2019 by Benoit Viguier
--- a/slides/JGTMF0219/BenoitTweetNaCl.tex
+++ b/slides/JGTMF0219/BenoitTweetNaCl.tex
--- a/slides/JGTMF0219/ECC101/frame.tex
+++ b/slides/JGTMF0219/ECC101/frame.tex
--- a/slides/JGTMF0219/Spec.png
+++ b/slides/JGTMF0219/Spec.png
--- a/slides/JGTMF0219/beamercolorthemeru.sty
+++ b/slides/JGTMF0219/beamercolorthemeru.sty
--- a/slides/JGTMF0219/beamerfontthemeru.sty
+++ b/slides/JGTMF0219/beamerfontthemeru.sty
--- a/slides/JGTMF0219/beamerinnerthemeru.sty
+++ b/slides/JGTMF0219/beamerinnerthemeru.sty
--- a/slides/JGTMF0219/beamerouterthemeru.sty
+++ b/slides/JGTMF0219/beamerouterthemeru.sty
--- a/slides/JGTMF0219/beamerthemeru.sty
+++ b/slides/JGTMF0219/beamerthemeru.sty
--- a/slides/JGTMF0219/chain.png
+++ b/slides/JGTMF0219/chain.png
--- a/slides/JGTMF0219/common.sty
+++ b/slides/JGTMF0219/common.sty
--- a/slides/JGTMF0219/coq_logo.png
+++ b/slides/JGTMF0219/coq_logo.png
--- a/slides/JGTMF0219/f_A.png
+++ b/slides/JGTMF0219/f_A.png
--- a/slides/JGTMF0219/latexrun.py
+++ b/slides/JGTMF0219/latexrun.py
--- a/slides/JGTMF0219/makefile
+++ b/slides/JGTMF0219/makefile
--- a/slides/JGTMF0219/princeton-logo.png
+++ b/slides/JGTMF0219/princeton-logo.png
--- a/slides/JGTMF0219/ru_background.png
+++ b/slides/JGTMF0219/ru_background.png
--- a/slides/JGTMF0219/ru_logo.png
+++ b/slides/JGTMF0219/ru_logo.png