Loading prestart plugin files ... ... done. Wrote /Users/ealdrov/Library/Preferences/Aquamacs Emacs/Packages/.nosearch Shell: /bin/zsh Warning: Key already bound to `cua-scroll-up' by minor modes (cua-mode). Use ‘define-key’ instead. Warning: Key already bound to `cua-scroll-down' by minor modes (cua-mode). Use ‘define-key’ instead. Loading /Users/ealdrov/Library/Preferences/Aquamacs Emacs/Recent Files.el (source)...done Cleaning up the recentf list...done (0 removed) one-buffer-one-frame-mode disabled. 20 environment variables imported from login shell (/bin/zsh). Loading plugins ... Loading /Users/ealdrov/Library/Application Support/Emacs/Agda/site-start.el (source)... Loading /opt/brw/Cellar/agda/2.6.1.3_3/cabal/store/ghc-8.10.5/Agd-2.6.1.3-a89c558c/share/emacs-mode/agda2.el (source)...done Loading /Users/ealdrov/Library/Application Support/Emacs/Agda/site-start.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/site-start.el (source)...done ... done. Loading /Users/ealdrov/Library/Preferences/Aquamacs Emacs/customizations.el (source)...done Loading /Users/ealdrov/Library/Preferences/Aquamacs Emacs/Preferences.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/aquamacs-final-init.el (source)... Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/preview-latex.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/aquamacs-final-init.el (source)...done one-buffer-one-frame-mode disabled. Loading /Users/ealdrov/Library/Preferences/Aquamacs Emacs/frame-positions.el (source)...done Mark set [5 times] Aquamacs is based on GNU Emacs, a part of the GNU/Linux system. It is Free Software: you can improve and redistribute it under the GNU General Public License, version 3 or later. (C) 2019 Free Software Foundation, and D. Reitter. No Warranty. ad-handle-definition: ‘desktop-read’ got redefined Applying style hooks... Loading /Users/ealdrov/work/multifunctor/auto/detasmulti.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/article.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/geometry.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/biblatex.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/url.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/comment.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/xcolor.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/graphicx.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/inputenc.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/fontenc.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsmath.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amstext.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsbsy.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsopn.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/mathtools.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsthm.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/tikz.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/textcomp.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/xspace.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/hyperref.el (source)...done Loading /Applications/Aquamacs 3.6 beta.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/nameref.el (source)...done Sorting mathtools-DeclarePairedDelimiter...done Removing duplicates...done Sorting amsthm-newtheorem...done Removing duplicates...done Applying style hooks...done