| | | General tips |
Arrows When you are placing arrows in a protocol derivation, you may find that Pda's graphics editor are different from others. In Pda, when you have selected either agent step, send/receive, or instance edge, you click/release first in the source box and then in the center of the target box.
Using rules @@ tips for using rules, e.g., make duplicate
Using constructors @@ to be completed
New root folder To create a new root folder, just right-click in the Browser pane to bring up the menu.
Working set @@ to be completed
Reference instance To create a reference instance ... @@ to be completed
Undo Pda provides an infinite depth of undo's. Enjoy.
Advanced Pda Preferences @@ to be completed
| | | General tips |