[
{ 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
}
]
