Add LaTeX listings package and railsetup.

Author: utting

Papers/Main/root.tex

@@ -2,6 +2,7 @@
 \usepackage{isabelle,isabellesym}
 \usepackage{amssymb}
 \usepackage{tikz-cd}
+\usepackage{listings}
 
 \usepackage{mathpartir}
 % further packages required for unusual symbols (see also
@@ -47,6 +48,8 @@
 \newcommand{\isamarkupsnipbegin}[1]{\Snip{#1}}
 \newcommand{\isamarkupsnipend}[1]{\EndSnip{#1}}
 
+\usepackage{railsetup}
+\newcommand{\indexdef}[3]{}
 
 \begin{document}
 

latex/root.tex

@@ -3,6 +3,7 @@
 \usepackage{amssymb,amsmath}
 \usepackage{mathpartir}
 \usepackage{tikz-cd}
+\usepackage{listings}
 
 % force input encoding to utf8 since this is what most machines use.
 % and T1 font encoding so Guillemets are allowed etc.