aboutsummaryrefslogtreecommitdiff
path: root/render.py
diff options
context:
space:
mode:
authorJulian T <julian@jtle.dk>2021-02-23 12:34:55 +0100
committerJulian T <julian@jtle.dk>2021-02-23 12:34:55 +0100
commit15e3da75a9e78c3ab9b03aa5e7c79b73cf1a2a47 (patch)
tree5281a4abe11a8ffd97627a944e1091f83bd0b8df /render.py
parent15a334af05a1f53e37e3ee98021b0032035a7eee (diff)
Add notes for prob m5
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}} }