Alfa

Alfa

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:
  1. Click with the mouse on the command you want to use in the menu window.
  2. Use the keyboard shortcuts displayed in the menu window instead of pointing and clicking with the mouse.
  3. Select something from the popup menu displayed when pressing the rightmost mouse button.
  4. Click with the middle mouse button on something in the editor window.
  5. Click on something in the browser window.
  6. Shift-click with the middle mouse button on a variable to create a case expression or an open expression.
  7. Pick the command Give... from the Edit menu.
  8. Pick the command Refine... from the Edit menu.
  9. Copy and paste an expression from another place in the editor window.
  10. Copy and paste an expression from another program (e.g., emacs).