Talk:Single View Design

From Event-B
Revision as of 11:08, 26 March 2010 by imported>Jrloria (→‎splitting: new section)
Jump to navigationJump to search

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)

splitting

Do you mind if I split this page in "user docs" and "developer dosc" ? Jrloria 11:08, 26 March 2010 (UTC)