From 772b3edef5969ce58f948e3550ea6371ad101808 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Sun, 18 Aug 2013 17:34:22 +0100 Subject: [PATCH] my fish fingers are ready I hope --- submission_thesis/style.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submission_thesis/style.tex b/submission_thesis/style.tex index 3d1185d..49082a3 100644 --- a/submission_thesis/style.tex +++ b/submission_thesis/style.tex @@ -159,7 +159,7 @@ Sometimes termed `top~down'}}} A guard on a process such that if a condition is not met, the process may not continue}}} \newcommand{\fmmdglossSIGPATH}{\glossary{name={signal~path},description={ -The components (software or hardware) and connections from whi particular signal or value is derived from in a system}}} +The components (software or hardware) and connections from which a particular signal or value is derived}}} \newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance},description={ A reasoning distance is the number of stages of logic and reasoning, @@ -175,7 +175,7 @@ analogue electronics only~\cite{smart_instruments_1514209}.}}} \newcommand{\fmmdglossCONTRACTPROG}{\glossary{name={contract~programming}, description={ A software discipline whereby each function is assigned strict pre and post conditions -which define a formalised `contract' the function's behaviour}}} +which define a formalised `contract' formalising the function's behaviour}}} % %\newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance}{yahda yahda ya}}}