robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

another typo

Browse Source
This commit is contained in:
Robin Clark 2013-08-18 19:43:19 +01:00
parent c8ecf08869
commit 070ff6510d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
submission_thesis/style.tex
View File

@ -175,7 +175,7 @@ analogue electronics only~\cite{smart_instruments_1514209}}}}
\newcommand{\fmmdglossCONTRACTPROG}{\glossary{name={contract~programming}, description={ \newcommand{\fmmdglossCONTRACTPROG}{\glossary{name={contract~programming}, description={
A software discipline whereby each function is assigned strict pre and post conditions A software discipline whereby each function is assigned strict pre and post conditions
which define a formalised `contract' formalising the function's behaviour}}} which define a `contract' formalising the function's behaviour}}}
% %
%\newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance}{yahda yahda ya}}} %\newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance}{yahda yahda ya}}}