move readings to paper

aaa489fa · Benoit Viguier · d7017e68 · aaa489fa · aaa489fa · aaa489fa
Commit aaa489fa authored Jun 21, 2019 by Benoit Viguier
--- a/readings/2_Implementation.tex
+++ b/readings/2_Implementation.tex
--- a/readings/3_Maths.tex
+++ b/readings/3_Maths.tex
--- a/readings/4_NumberAndImplementation.tex
+++ b/readings/4_NumberAndImplementation.tex
--- a/readings/5_UsingVST.tex
+++ b/readings/5_UsingVST.tex
--- a/readings/HACS-Abstract.md
+++ b/readings/HACS-Abstract.md
--- a/readings/IEEEtran.cls
+++ b/readings/IEEEtran.cls
--- a/readings/Makefile
+++ b/readings/Makefile
--- a/readings/abstract.tex
+++ b/readings/abstract.tex
--- a/readings/bare_conf.tex
+++ b/readings/bare_conf.tex
--- a/readings/bare_jrnl.tex
+++ b/readings/bare_jrnl.tex
--- a/readings/collection.bib
+++ b/readings/collection.bib
--- a/readings/conclusion.tex
+++ b/readings/conclusion.tex
--- a/readings/curve25519.thm
+++ b/readings/curve25519.thm
--- a/readings/highlevel.tex
+++ b/readings/highlevel.tex
--- a/readings/img/chain.png
+++ b/readings/img/chain.png
--- a/readings/img/coq_logo.png
+++ b/readings/img/coq_logo.png
--- a/readings/intro.tex
+++ b/readings/intro.tex
--- a/readings/latexrun.py
+++ b/readings/latexrun.py
--- a/readings/lowlevel.tex
+++ b/readings/lowlevel.tex
--- a/readings/macros.tex
+++ b/readings/macros.tex