P1 report: typo; margins; copyright; lemmas / proofs on one page

1 files changed, 4 insertions, 5 deletions

diff --git a/Practical1/report/report.tex b/Practical1/report/report.tex
index 6229121..d13a648 100644
--- a/Practical1/report/report.tex
+++ b/Practical1/report/report.tex
@@ -1,7 +1,5 @@
 \documentclass[10pt,a4paper]{article}
 
-\usepackage[margin=30mm]{geometry}
-
 % textcomp package is not available everywhere, and we only need the Copyright symbol
 % taken from http://tex.stackexchange.com/a/1677/23992
 \DeclareTextCommandDefault{\textregistered}{\textcircled{\check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont R}}
@@ -10,7 +8,7 @@
 \renewcommand{\headrulewidth}{0pt}
 \renewcommand{\footrulewidth}{0pt}
 \fancyhead{}
-%\fancyfoot[C]{Copyright {\textcopyright} 2015 Camil Staps}
+\fancyfoot[C]{Copyright {\textcopyright} 2015 Camil Staps}
 \pagestyle{fancy}
 
 \usepackage{amsmath}
@@ -33,6 +31,7 @@
 \numberwithin{theorem}{subsection}
 
 \newenvironment{thmproof}[3][]{%
+    \begin{samepage}
     \begin{#2}%
         \def\templabel{#1}%
         \def\tempname{#2}%
@@ -41,7 +40,7 @@
         #3%
     \end{#2}%
     \begin{proof}%
-}{\end{proof}}
+}{\end{proof}\end{samepage}}
 
 \newcommand{\refeq}[2][]{\begin{equation}\label{eq:#1}#2\end{equation}}
 
@@ -77,7 +76,7 @@
 
 \section{Acknowledgements}
 \label{sec:acknowledgements}
-I'm grateful to Tom van der Zanden for pointing me to the term `maximum independent set', which eventually let me to Robson's algorithm \cite{robson}.
+I'm grateful to Tom van der Zanden for pointing me to the term `maximum independent set', which eventually led me to Robson's algorithm \cite{robson}.
 
 \begin{thebibliography}{9}
     \bibitem{robson}{Robson, J.M. (1985). \emph{Algorithms for Maximum Independent Sets}.}