From 3d377ca8fbe6492f5b1faf38c09160939e36d711 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 19 Apr 2018 18:33:07 +0200
Subject: Example for satisfaction by words; still needed: satisfaction by TS
 (and equivalence)

---
 Assignment1/assignment1.tex | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'Assignment1/assignment1.tex')

diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex
index e859f41..c1e6a0d 100644
--- a/Assignment1/assignment1.tex
+++ b/Assignment1/assignment1.tex
@@ -62,6 +62,8 @@
 \usepackage{algpseudocode}
 \usepackage{tikz}
 \usetikzlibrary{automata,positioning}
+\tikzset{>=stealth}
+\tikzset{state/.append style={minimum size=15pt}}
 \usepackage{relsize}
 \usepackage{parskip}
 \usepackage{cleveref}
@@ -111,14 +113,22 @@
 \setcounter{section}{5}
 \setcounter{subsection}{2}
 
+% The extra newlines are needed for correct changebars
+
 \input{intro}
+
 \input{syntax}
+
 \input{semantics}
+
 \input{equivalence}
+
 \input{conversion}
+
 \input{bad-prefix}
 
 \input{summary}
+
 \input{exercises}
 
 \both
-- 
cgit v1.2.3

