12.6: Dealing with many Gri versions, gri-mode handles it.

• `gri-set-version': Tells gri-mode to use a given version as the default for all your gri files. Tab completion is available listing all available versions (if they are not all listed, that means that the Emacs variable `gri*directory-tree' is not correctly set (see Installing gri-mode.el)). Your selection is stored in the file `~/.gri-using-version' and is remembered across editing sessions. If you select default as your answer, gri-mode reverts to using the default version of gri as installed on your system (which may change after you update it) and deletes the `~/.gri-using-version' file.

• `gri-set-local-version': Tells gri-mode to use a given version of gri this gri file (the one currently being edited when you invoke the command). Tab completion is again available to list all available versions. Your selection overrides the default version selected by `gri-set-version' for this file, and is stored as an Emacs variable at the bottom of the gri file. It is remembered across editing sessions. If you select default as your answer, gri-mode reverts to using the default version of gri as selected by `gri-set-version' and deletes the Emacs variable setting at the bottom of the gri file.