diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 22:56:30 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 22:56:30 +0100 |
| commit | 4628ae2ef503f8496a7da47e4a3ee1f2a7d98223 (patch) | |
| tree | cebbaaad042ed4adbdd7cb746b88300d6ee09101 /proof.tex | |
| parent | 3377309317c3e309bd9637e7595f048c4e2340c9 (diff) | |
| download | oopsla21_fvhls-4628ae2ef503f8496a7da47e4a3ee1f2a7d98223.tar.gz oopsla21_fvhls-4628ae2ef503f8496a7da47e4a3ee1f2a7d98223.zip | |
Add annotations to tex files
Diffstat (limited to 'proof.tex')
| -rw-r--r-- | proof.tex | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,8 @@ \section{Proof} \subsection{Coq Mechanisation} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "main" +%%% End: |