mirror of
https://github.com/smyalygames/checklist-tester.git
synced 2025-05-18 14:34:12 +02:00
12 lines
161 B
TeX
12 lines
161 B
TeX
\documentclass[../../dissertation.tex]{subfiles}
|
|
|
|
|
|
\begin{document}
|
|
|
|
\lstinputlisting[
|
|
language=VDM_SL,
|
|
]{../../../../formal/checklist.vdmsl}
|
|
|
|
\end{document}
|
|
|