Talk:The Celebrity Problem (Rodin Tutorial): Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 June 2009

  • curprev 19:2019:20, 24 June 2009imported>Mathieum 553 bytes +221 coment
  • curprev 14:4014:40, 24 June 2009imported>GeorgesMariano 332 bytes +165 No edit summary
  • curprev 14:3914:39, 24 June 2009imported>GeorgesMariano 167 bytes +167 New page: 3. First of all, we take a look at the warning stating that the event label "celebrity" is misused. Where ? Can't see any warning (using Celebrity-2007-10-26.zip)...