From 4628ae2ef503f8496a7da47e4a3ee1f2a7d98223 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 25 Jun 2020 22:56:30 +0100
Subject: Add annotations to tex files

---
 proof.tex | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'proof.tex')

diff --git a/proof.tex b/proof.tex
index 2b571d9..fdd140f 100644
--- a/proof.tex
+++ b/proof.tex
@@ -1,3 +1,8 @@
 \section{Proof}
 
 \subsection{Coq Mechanisation}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "main"
+%%% End:
-- 
cgit