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

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

(limited to 'introduction.tex')

diff --git a/introduction.tex b/introduction.tex
index 5c8bcac..dfd447d 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -45,3 +45,8 @@ CoqUp is open source and is hosted on Github\footnote{https://github.com/ymherkl
 \NR{Is both the translator and verifier written in Coq?}
 \NR{A tool-flow diagram here will be useful. I thought you had one previously?}
 \NR{Do you think we have a very simple example of a program where wrong Verilog is generated in VHLS or LegUp, but not in CoqUp?}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "main"
+%%% End:
-- 
cgit 

