Talk:Single View Design
From Event-B
Refresh action
What about adding a refresh action (project wise, and perhaps with finer granularity if allowed). It is quite useful when we use an external tool for version control. Mathieu 12:10, 30 September 2008 (UTC)
