Top 10 ways to fill in a place holder
When construcing proofs or programs with Alfa, the most common editing
operation is filling in a place holder, that is filling in part of an
expression that hasn't been filled in yet. Here is a list of 10
possible ways to do that:
- Click with the mouse on the command you want to use in the menu window.
- Use the keyboard shortcuts displayed in the menu window instead
of pointing and clicking with the mouse.
- Select something from the popup menu displayed when pressing the rightmost
- Click with the middle mouse button on something in the editor window.
- Click on something in the browser window.
- Shift-click with the middle mouse button on a variable to create a
case expression or an
- Pick the command Give... from the Edit
- Pick the command Refine... from the
- Copy and paste an expression from another place in the editor window.
- Copy and paste an expression from another program (e.g., emacs).