From 9b33046355238f56cda18493b8c757db736516a4 Mon Sep 17 00:00:00 2001
From: Urbain Vaes <urbain@vaes.uk>
Date: Thu, 21 Sep 2023 18:37:50 +0200
Subject: Add worked example

---
 header.tex | 2 --
 1 file changed, 2 deletions(-)

(limited to 'header.tex')

diff --git a/header.tex b/header.tex
index 98eef2d..83d0e93 100755
--- a/header.tex
+++ b/header.tex
@@ -42,8 +42,6 @@
 \definecolor{darkred}{rgb}{.5,0,0}
 \definecolor{darkgreen}{rgb}{0,.5,0}
 \definecolor{darkblue}{rgb}{0,0,.5}
-% \newcommand{\red}[1]{\textcolor{darkred}{#1}}
-% \newcommand{\green}[1]{\textcolor{darkgreen}{#1}}
 
 \newtheorem{proposition}{Proposition}
 
-- 
cgit v1.2.3

