equal
deleted
inserted
replaced
136 <A HREF="http://www.scala-lang.org/">Scala</A>, |
136 <A HREF="http://www.scala-lang.org/">Scala</A>, |
137 <A HREF="http://en.wikipedia.org/wiki/Standard_ML">ML</A>, |
137 <A HREF="http://en.wikipedia.org/wiki/Standard_ML">ML</A>, |
138 <A HREF="http://haskell.org/haskellwiki/Haskell">Haskell</A>, |
138 <A HREF="http://haskell.org/haskellwiki/Haskell">Haskell</A>, |
139 <A HREF="http://www.python.org">Python</A>, etc. |
139 <A HREF="http://www.python.org">Python</A>, etc. |
140 </p> |
140 </p> |
|
141 |
|
142 |
|
143 <li> <H4>[CU2] Animating Algorithms from Automata Theory in Your Web-Browser</H4> |
141 |
144 |
142 <!-- |
145 <!-- |
143 <li> <H4>[CU2] Equivalence Checking of Regular Expressions</H4> |
146 <li> <H4>[CU2] Equivalence Checking of Regular Expressions</H4> |
144 |
147 |
145 <p> |
148 <p> |