<< Prev | - Up - | Next >> |
To make it easy to run multiple versions of Oz and also customize them through the .emacs
file, there is the notion of profiles. A profile is an alist providing values for the Oz mode variables you want to set different from their default. Besides the ability to have profiles for multiple versions of Mozart, you can also define profiles for build and debug directories (with possibly different gdb setting for interactive debugging for debug directories).
oz-profiles
(default: nil
) [user option]An alist of profiles for different Oz mode configurations.
oz-set-profile
NAME
[command]Select profile NAME
from those defined in oz-profiles
.
oz-profile-undo
[command]Undo the bindings established by the current profile.
<< Prev | - Up - | Next >> |