Primary LanguageTeX
Produced with latexdiff on Ubuntu 18. Pdf generated from .tex source through TeXmacs.
.tex