[
{ type: install
  message: <<EOM
To configure dinotrace Emacs extensions, add the following lines
to your Emacs startup configuration:

;; Dinotrace mode
(global-set-key "\C-x\C-aa" 'dinotrace-update)
(global-set-key "\C-x\C-ad" 'dinotrace-mode)

;; Sim-Log mode
(setq auto-mode-alist (append (list '("\\.log$" . sim-log-mode)) auto-mode-alist))
EOM
}
]
