diff --git a/settings/settings.tex b/settings/settings.tex index 6c31dd1..57c6cee 100644 --- a/settings/settings.tex +++ b/settings/settings.tex @@ -61,6 +61,8 @@ arrows,% shapes,% arrows.meta% + automata% + positioning } % Eigene Nummerierung der Kapitel