From e75351f03adcd986016029aec1ff0fec77decb56 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Feb 2012 23:05:09 +0000
Subject: [PATCH] use strayman

---
 article.tex | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/article.tex b/article.tex
index 4e4a75e..ef8a985 100644
--- a/article.tex
+++ b/article.tex
@@ -1,4 +1,5 @@
-\documentclass[a4paper]{article}
+\documentclass[a4paper]{strayman}
+\let\numberwithin=\notdef
 \usepackage{MnSymbol}
 \usepackage{stmaryrd}
 \usepackage{slashed}
@@ -36,8 +37,6 @@
 
 \renewcommand{\implies}{\Rightarrow}
 
-\setlength{\parindent}{0pt}
-
 \begin{document}
 
 \section{Notation}
-- 
2.30.2