# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1352234227 0
# Node ID 51fa2149250d36b700478cc656b108b096fe5062
# Parent  f4e2cfbde15e4dd3b7fea4784e81a81d20493fff
tuned

diff -r f4e2cfbde15e -r 51fa2149250d msc-projects-12.html
--- a/msc-projects-12.html	Tue Nov 06 20:36:38 2012 +0000
+++ b/msc-projects-12.html	Tue Nov 06 20:37:07 2012 +0000
@@ -140,7 +140,7 @@
   </p>
 
 
-<li> <H4>[CU2] Animating Algorithms from Automata Theory in Your Web-Browser</H4>
+<li> <H4>[CU2] Automata Theory in Your Web-Browser</H4>
 
 <!--
 <li> <H4>[CU2] Equivalence Checking of Regular Expressions</H4>