Mercurial > 13ss.theoinf

diff notes/tex/complete_notes.tex @ 55:b815b94ae158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ue13 notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 22 Jul 2013 23:56:37 +0200
parents a2d28c18251a
children
line wrap: on
line diff
--- a/notes/tex/complete_notes.tex	Mon Jul 15 23:54:45 2013 +0200
+++ b/notes/tex/complete_notes.tex	Mon Jul 22 23:56:37 2013 +0200
@@ -76,6 +76,9 @@
 \showUnit{tmif}
 \showUnit{while}
 \showUnit{goto}
+\showUnit{typ0sprachen}
+\showUnit{spracheigenschaften}
+\showUnit{formalesprachen}
 \showUnit{berechenbarkeit}
 \showUnit{entscheidbarkeit}
 \showUnit{breduktion}
@@ -97,4 +100,7 @@
 \showUnit{npvollstaendigkeit}
 \showUnit{sat}
 \showUnit{3col}
+
+% ue13
+\showUnit{klausur}
 \end{document}