1 \documentclass[12pt,a4paper,titlepage,oneside]{article}
2 %\documentclass[12pt,a4paper,titlepage,oneside]{report}
4 \usepackage{ProtocolHeader}
12 % \includegraphics[width=\textwidth]{ftol_pic.pdf}
14 % \caption{Ein kleines, fehlertolerantes Computersystem}
18 %\chapter %for use with report class
32 {High-Level Design Description}
38 {Detailed Design Description}
43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
48 %howto include src files
49 %\subsection{einfache Variante -- generierter Sourcecode}
50 %\label{att:einfachsrc}
51 %\lstinputlisting{../einfach/einfach.src}
52 %\lstinputlisting[firstnumber=24, firstline=24, lastline=34]{bla.src} %firstnumber shouldn't be necessary, but there is probably a bug