added line numbers
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 30 Jan 2015 13:19:15 +0000
changeset 59 434ba43d0430
parent 58 1769b702d4dc
child 60 2cdbab037861
added line numbers
thys/notes.pdf
thys/notes.tex
Binary file thys/notes.pdf has changed
--- a/thys/notes.tex	Fri Jan 30 13:11:39 2015 +0000
+++ b/thys/notes.tex	Fri Jan 30 13:19:15 2015 +0000
@@ -1,6 +1,8 @@
 \documentclass[11pt]{article}
+\usepackage[left]{lineno}
 
 \begin{document}
+\linenumbers
 
 \noindent
 A lemma which might be true, but can also be false, is as follows: