aboutsummaryrefslogtreecommitdiff
path: root/render.py
diff options
context:
space:
mode:
Diffstat (limited to 'render.py')
-rwxr-xr-xrender.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/render.py b/render.py
index 4e189a5..8ae4ed0 100755
--- a/render.py
+++ b/render.py
@@ -14,6 +14,7 @@ tex_template = """\\documentclass[12pt]{article}
\\newtheorem{definition}{Definition}
\\newtheorem{lemma}{Lemma}
+\\newtheorem{theorem}{Theorem}
{% if p is not none %}
\\title{ {{title}} }