| << 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 >> |