
diff -r cd43d8c6eb84 -r 3056a4c071b0 hws/hw05.tex
--- a/hws/hw05.tex	Tue Oct 04 15:09:08 2016 +0100
+++ b/hws/hw05.tex	Fri Oct 07 22:08:03 2016 +0100
@@ -88,7 +88,7 @@
 Observe the maximal munch rule and the priorities of your regular
 expressions that make the process of lexing unambiguous.)
 
-\item (Optional) Recall the definitions for $Der$ and $der$
+\item {\bf(Optional)} Recall the definitions for $Der$ and $der$
       from the lectures. Prove by induction on $r$ the
       property that 
 
@@ -98,6 +98,7 @@
 
       holds.
 
+\item \POSTSCRIPT        
 \end{enumerate}
 
 \end{document}




