Minor mods to L29.

Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex

@@ -30,7 +30,7 @@
 
 \input{../def-beamer}
 
-\newcommand{\topic}{29 Introduction to Verification}
+\newcommand{\topic}{29 Introduction to Verification (Ch.\ 6)}
 
 \input{../titlepage}
 
@@ -267,7 +267,7 @@ $p.\mbox{dist}(\mbox{PointT}(llxw, llyh)) ] \leq \mbox{T}$}\\
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
-\frametitle{Testing on Assignment 1 to 4}
+\frametitle{Testing on Assignment 1 to 3}
 
 \begin{itemize}