changeset 50 | 816e84ca16d6 |
parent 49 | b388dceee892 |
child 63 | 35fe8fe12e65 |
--- a/Paper/document/root.tex Fri Jan 18 13:03:09 2013 +0000 +++ b/Paper/document/root.tex Fri Jan 18 13:56:35 2013 +0000 @@ -10,6 +10,10 @@ \usepackage{tikz} \usepackage{pgf} +%% for testing +\usepackage{endnotes} +\let\footnote=\endnote + % urls in roman style, theory text in math-similar italics \urlstyle{rm} \isabellestyle{it}