6 Using Profiles

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)

An alist of profiles for different Oz mode configurations.

oz-set-profile NAME

Select profile NAME from those defined in oz-profiles.

oz-profile-undo

Undo the bindings established by the current profile.


Leif Kornstaedt
Version 1.2.3 (20011204)