| % |
| % Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| % |
| % SPDX-License-Identifier: BSD-2-Clause |
| % |
| |
| \documentclass[english,a4paper,11pt]{article} |
| \usepackage{sel4} |
| |
| \usepackage{url,verbatim,datetime,microtype} |
| |
| \usepackage[pdftex,pagebackref,hyperindex,bookmarks]{hyperref} |
| % default no frames around links, dark versions so it prints Ok. |
| \hypersetup{colorlinks, |
| allcolors=neutral, |
| anchorcolor=black, |
| citecolor=greenDark, |
| linkcolor=greenDark, |
| pdftitle={capDL Language Specification}, |
| pdfauthor={Gerwin Klein}} |
| |
| |
| \begin{document} |
| |
| \title{capDL Language Specification} |
| \subtitle{Revision 1.0} |
| \author{Gerwin Klein} |
| \date{} |
| |
| \maketitle |
| |
| \input{capDL_generated} |
| |
| \end{document} |