Talk:Single View Design: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Refresh action |
imported>Jrloria |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 2: | Line 2: | ||
What about adding a ''refresh'' action (project wise, and perhaps with finer granularity if allowed). | 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. [[User:Mathieu|Mathieu]] 12:10, 30 September 2008 (UTC) | It is quite useful when we use an external tool for version control. [[User:Mathieu|Mathieu]] 12:10, 30 September 2008 (UTC) | ||
== splitting == | |||
Do you mind if I split this page in "user docs" and "developer dosc" ? [[User:Jrloria|Jrloria]] 11:08, 26 March 2010 (UTC) | |||
: Fine with me... thank you for your work and cleaning on the wiki ! [[User:Mathieu|mathieu]] 14:21, 26 March 2010 (UTC) | |||
::It's done, ''de rien'' I just did some changes while I read the articles. [[User:Jrloria|Jrloria]] 18:37, 26 March 2010 (UTC) | |||
Latest revision as of 18:37, 26 March 2010
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)
