update
authorChristian Urban <urbanc@in.tum.de>
Wed, 15 Nov 2017 00:16:18 +0000
changeset 532 15670cd83c44
parent 531 f6e937ed0332
child 533 1276d7013c2c
update
slides/slides08.tex
--- a/slides/slides08.tex	Wed Nov 08 12:54:39 2017 +0000
+++ b/slides/slides08.tex	Wed Nov 15 00:16:18 2017 +0000
@@ -16,7 +16,7 @@
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
   \LARGE Compilers and \\[-2mm] 
-  \LARGE Formal Languages (8)\\[3mm] 
+  \LARGE Formal Languages (7)\\[3mm] 
   \end{tabular}}
 
   \normalsize