Commits

Jules Villard committed c496548

wibble

Comments (0)

Files changed (1)

   internship at Queen Mary University for her Master to work on
   improving <span class="heaphop">Heap-Hop</span>'s theory and
   implementation. She added support for message parameters, which let
-  you track message values accross time in the logic, and arrays.
+  you track message values accross time in the logic, and for arrays.
 </li>
 <li>
   23 Mar. 2010: <span class="heaphop">Heap-Hop</span> is presented to the