main.tex

\documentclass[11pt]{article}
\usepackage[margin=3cm]{geometry}
\geometry{a4paper}

\usepackage{times}
%\usepackage{inconsolata}
\usepackage{zlmtt}

\usepackage[T1]{fontenc}

\usepackage[parfill]{parskip}    % Activate to begin paragraphs with an empty line rather than an indent
\usepackage{graphicx}
\usepackage{amssymb}


\usepackage{hyperref}
\usepackage{url}
\usepackage{listings}
\usepackage{hyperref}


\usepackage{color}
\usepackage{xcolor}
\usepackage{titlesec}


\usepackage{tabularx}

% \usepackage{coffee4}

\usepackage{subcaption}

\input{prelude.tex}
\input{defs.tex}


\title{\sf \troupelang\ programming language user guide\footnote{Please send your comments and requests for clarifications to \url{aslan@cs.au.dk}}} 

%\author{}
% \author{\sf Aslan Askarov \\ \small aslan@cs.au.dk}

%\date{March 26, 2020}  % Activate to display a given date or no date

\begin{document}
\maketitle
\thispagestyle{empty}
\clearpage
\tableofcontents
\clearpage

\input{body.tex}

\end{document}

% Local Variables:
% TeX-engine: xetex
% End: