Difference between revisions of "Talk:The Celebrity Problem (Rodin Tutorial)"
From Event-B
Jump to navigationJump to searchimported>GeorgesMariano (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)...) |
imported>GeorgesMariano |
||
| Line 1: | Line 1: | ||
| + | 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. | 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)... | Where ? Can't see any warning (using Celebrity-2007-10-26.zip)... | ||
Revision as of 14:40, 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)...
