Talk:The Celebrity Problem (Rodin Tutorial)

From Event-B
Revision as of 19:20, 24 June 2009 by imported>Mathieu (coment)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
2. The tool takes a few seconds to extract and load all the files. Once it is done, it shows that there are a few problems with this project.

Hmmm... no problem.

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)...


Hello George,
I guess you'd better to post a message on one the devel mailling list as I'm not sure there is a lot of people following those pages. mathieu 19:20, 24 June 2009 (UTC)