Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorChristian Urban <urbanc@in.tum.de>
Tue, 06 Nov 2012 20:37:07 +0000
changeset 161 51fa2149250d
parent 160 f4e2cfbde15e
child 162 0752a5de9537
tuned
msc-projects-12.html file | annotate | diff | comparison | revisions 
--- 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>
public_html