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
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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)
Retrieved from ‘https://wiki.event-b.org/index.php?title=Talk:The_Celebrity_Problem_(Rodin_Tutorial)&oldid=10708’