Merge branch 'patch-5' into 'master'

fix spelling of Hoare in SoftEngPrinciples.tex

See merge request !10

Lectures/L05_SoftEngPrinciples/SoftEngPrinciples.tex

@@ -148,7 +148,7 @@ TBD
 \item Provide an approach to develop software, but they are more technical and
   mechanical than methods
 \item Techniques have a more restricted applicability than methods
-\item Example Hoar triple for correctness proof
+\item Example: Hoare triple for correctness proof
 \ei
   % example technique would be pre and post conditions to prove
 \item A \structure<0->{methodology} is a coherent collection of methods and