copying from synthesis view - variables cannot be copied

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#228 copying from synthesis view - variables cannot be copied

Milestone: V0.8.2

Status: closed-duplicate

Owner: Laurent Voisin

Labels: Event-B core (55)

Priority: 5

Updated: 2008-11-12

Created: 2008-10-23

Creator: Jenny Sorge

Private: No

When I try to copy a machine in synthesis view, into a new project, then I can copy everything but the variables. I guess I should be able to select the whole machine and copy paste it into a new project.

Discussion

Laurent Voisin - 2008-11-12

status: open --> closed-duplicate
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Laurent Voisin - 2008-11-12

This is a duplicate of #2189844.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

copying from synthesis view - variables cannot be copied

Group

Searches

Help

#228 copying from synthesis view - variables cannot be copied

Discussion