@@ -1,13 +1,4 @@
1\documentclass[12pt]{article}
1\documentclass[12pt]{article}
2\usepackage{txfonts}
2\usepackage{txfonts}
3−\usepackage[breaklinks=true]{hyperref}
4\usepackage{ucs}
3\usepackage{ucs}
5\usepackage[utf8x]{inputenc}
4\usepackage[utf8x]{inputenc}
8−% This is needed for code blocks in footnotes:
11−% This is needed because raggedright in table elements redefines //:
12−\newcommand{\PreserveBackslash}[1]{\let\temp=\\#1\let\\=\temp}
13−\let\PBS=\PreserveBackslash