aboutsummaryrefslogtreecommitdiff
path: root/render.py
diff options
context:
space:
mode:
authorJulian T <julian@jtle.dk>2021-02-15 14:31:49 +0100
committerJulian T <julian@jtle.dk>2021-02-15 14:31:49 +0100
commit1e6f7a495318addcbb6bc5ae7465a2eb1d889acd (patch)
treea5a7a4940161a5814992e2775f4959ccb336f4d4 /render.py
parent1ea5fe8262ffe148c78ebc393ffe4886232a221e (diff)
Add assignments for digital design
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 ff867a1..4e189a5 100755
--- a/render.py
+++ b/render.py
@@ -10,6 +10,7 @@ import re
tex_template = """\\documentclass[12pt]{article}
\\usepackage{amsmath}
\\usepackage{amsfonts}
+\\usepackage{mdframed}
\\newtheorem{definition}{Definition}
\\newtheorem{lemma}{Lemma}