Talk:The Celebrity Problem (Rodin Tutorial): Difference between revisions
From Event-B
Jump to navigationJump to search
imported>GeorgesMariano No edit summary |
imported>Mathieu m coment |
||
| Line 6: | Line 6: | ||
Where ? Can't see any warning (using Celebrity-2007-10-26.zip)... | 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 [[Mailing lists|mailling list]] as I'm not sure there is a lot of people following those pages. [[User:Mathieu|mathieu]] 19:20, 24 June 2009 (UTC) | |||
Latest revision as of 19:20, 24 June 2009
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)
