From 211d0ff6835017ba4c237fa909837ca84e1e095b Mon Sep 17 00:00:00 2001
From: Julian T <julian@jtle.dk>
Date: Mon, 31 May 2021 11:30:40 +0200
Subject: Add many more solutions and notes

---
 render.py | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'render.py')

diff --git a/render.py b/render.py
index 937ad42..c1ff9fb 100755
--- a/render.py
+++ b/render.py
@@ -12,13 +12,18 @@ tex_template = """\\documentclass[12pt]{article}
 \\usepackage{amsfonts}
 \\usepackage{mdframed}
 \\usepackage{float}
+\\usepackage{amsthm}
+\\usepackage{booktabs}
 
 \\usepackage{tikz}
 \\usetikzlibrary{automata, positioning, arrows}
 
-\\newtheorem{definition}{Definition}
 \\newtheorem{lemma}{Lemma}
-\\newtheorem{theorem}{Theorem}
+
+\\theoremstyle{definition}
+\\newtheorem{definition}{Definition}[section]
+\\newtheorem{theorem}{Theorem}[section]
+\\newtheorem{principle}{Principle}[section]
 
 {% for thing in before %}
 {{thing}}
@@ -27,6 +32,11 @@ tex_template = """\\documentclass[12pt]{article}
 \\setlength{\parindent}{0cm}
 \\setlength{\parskip}{0.3em}
 
+\\newenvironment{opg}
+{
+\itshape
+}{}
+
 \\begin{document}
     {% if title is not none %}
     \maketitle
-- 
cgit v1.2.3