Mozart Emacs Profiles

[Denys Duchier]

I just extended the Emacs interface with the notion of "profiles".

Until now, it was difficult to run multiple versions of Emacs when you
also wanted to make customizations in your ~/.emacs.  A profile is
essentially an alist providing values for variables relevant to the
Emacs interface.  This makes it easy to have profiles for multiple
versions of Mozart, but also for build and debug directories (with
possibly different gdb setting for interactive debugging for debug
directories).

You can create and modify profiles by customizing variable
oz-profiles.  This variable is accessible from the mozart group
customization form which you get using:

                  M-x customize-group RET mozart RET

oz-profiles is an alist: you only need to customize the entries which
need a value different than the default.  You can switch to a profile
using:

                    M-x oz-set-profile RET ... RET

where ... should be the name of the profile.  You can return to the
defaults using:

                       M-x oz-profile-undo RET

This hasn't been tested much at all so far, so please report any
problems or shortcomings to me.

Cheers,

-- 
Dr. Denys Duchier			Denys.Duchier at ps.uni-sb.de
Forschungsbereich Programmiersysteme	(Programming Systems Lab)
Universitaet des Saarlandes, Geb. 45	http://www.ps.uni-sb.de/~duchier
Postfach 15 11 50			Phone: +49 681 302 5618
66041 Saarbruecken, Germany		Fax:   +49 681 302 5615
-
Please send submissions to hackers at mozart-oz.org
and administriva mail to hackers-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.