Commits

Jules Villard committed 0d07714

better Ioana news item

  • Participants
  • Parent commits fe06182

Comments (0)

Files changed (1)

 
 <ul>
 <li>
-  June-July 2011: Ioana Cristescu (ENS Lyon) has implemented support
-  for message parameters, which let you track message values accross
-  time in the logic, and arrays
-  in <span class="heaphop">Heap-Hop</span> for her 1st year of
-  Master's internship.
+  June-July 2011: Ioana Cristescu (ENS Lyon) came for a two month
+  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.
 </li>
 <li>
   23 Mar. 2010: <span class="heaphop">Heap-Hop</span> is presented to the