3.4.2.2 Frequently used editor commands

Below we list a few important commands and how to activate them.

These are the most commonly used commands. In section 3.4.3 we discuss specific support for dealing with Prolog source code.

Tags are associated to your profile if you are logged in