From 807836ca5241ea1b5df3b554576f2a9263f01775 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 29 Nov 2021 14:57:30 -0300
Subject: [PATCH] emacs shenanigans
---
spec/doc.tex | 5 +++++
spec/rule_list.tex | 4 ++++
2 files changed, 9 insertions(+)
diff --git a/spec/doc.tex b/spec/doc.tex
index 2cc4fae..fad7a5c 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -1435,3 +1435,8 @@ The following lists all rules of Alethe.
\bibliography{bib}
\end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End:
diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 33a7f4c..4866582 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -1638,3 +1638,7 @@ form and the reordering of equalities.
% is given. This option is experimental and should not be used.
% \end{proof-rule}
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "doc"
+%%% End:
--
GitLab