Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Both sides next revision | ||
| pn2mc:quick_start [2014/11/16 20:53] jbiernacki | pn2mc:quick_start [2021/09/23 08:51] (current) | ||
|---|---|---|---|
| Line 18: | Line 18: | ||
| - Select //RTCP Nets// option from the combo box. \\ \\ {{: | - Select //RTCP Nets// option from the combo box. \\ \\ {{: | ||
| - Enter direct path of the file to translate or select this file using file browser dialog shown after clicking the button designated with //[...]// symbol. | - Enter direct path of the file to translate or select this file using file browser dialog shown after clicking the button designated with //[...]// symbol. | ||
| - | - Click the // | + | - Click the // |
| - NuXmv code after its appearance in the memo can be easily saved to a file by clicking on the //Save// button. | - NuXmv code after its appearance in the memo can be easily saved to a file by clicking on the //Save// button. | ||