6 Using Profiles

A profile defines all the settings necessary to run a particular version or installation of Oz. You can have an number of profiles and you can switch between them while remaining in the same Emacs session. The advantages for regular users are:

Additional advantages for Mozart developers are that you can easily define profiles

oz-profiles (default: nil)

An alist of profiles for different Oz mode configurations. The keys of this alist are the names of the profiles.

oz-set-profile NAME

Select profile NAME from those defined in oz-profiles. If Oz is currently running, the user is prompted to decide whether to kill it. A new profile can only be installed when Oz is not currently running in the OPI.


Undo the bindings established by the current profile. This is rarely useful because oz-set-profile automatically invokes oz-profile-undo in order to undo existing settings and replace them with new ones.

Leif Kornstaedt and Denys Duchier
Version 1.4.0 (20080702)