rendered paste body\documentclass[a4paper,10pt]{article}
\title{CO631 Assessment 3}
\author{Thomas Paul Carlson (tpc4)}
\date{13th February 2007}
\usepackage{fullpage}
\usepackage{listings}
% Definition for typesetting occam(-pi) source code
\lstdefinelanguage{occam}
{
keywords={
PROC,PAR,SEQ,WHILE,
ALT,CHAN,MOBILE,FOR,
INITIAL,VAL,INT,BYTE,
RESULT,INLINE,\#PRAGMA,EXTERNAL,
USE,\#INCLUDE,REAL32,INT16,
INT32,DATA,TYPE,PACKED,
RECORD,\#USE,IS,RETYPES},
sensitive=true,
comment=[l]{--},
alsoletter={\#},
alsodigit={.},
% string=[b]",
}
\lstset{language=occam}
\lstset{showtabs=false}
\lstset{showspaces=false}
\begin{document}
\maketitle
\section{q4.occ}
\lstinputlisting{q4.occ}
\end{document}