# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1490280566 0
# Node ID e2e13cc2c9d78626dab70b26c5b1249662467431
# Parent  14318f1d3b0f9a98995840484fc5ff13ad53d61d# Parent  4fcaa5a2d1995b717fac484b0e791994f17fb9c8
merged

diff -r 14318f1d3b0f -r e2e13cc2c9d7 handouts/ho02.tex
diff -r 14318f1d3b0f -r e2e13cc2c9d7 progs/dfa.scala
diff -r 14318f1d3b0f -r e2e13cc2c9d7 progs/re1.scala