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. 27 environment variables imported from login shell (/bin/zsh). Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/tex-site.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/preview-latex.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/preview-latex.el (source)...done 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.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 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. Connection file "/var/folders/ws/8bprpvgn59vgy29rxwy4c6980000gn/T/emacs501/server" deleted Automatic display of crossref information was turned on ad-handle-definition: ‘desktop-read’ got redefined Applying style hooks... Loading /Users/ealdrov/work/categorification/auto/chowcat.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsart.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsmath.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amstext.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsbsy.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsopn.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/amsthm.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/geometry.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/xcolor.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/inputenc.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/newtxtext.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/textcomp.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/fontaxes.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/newtxmath.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/mathtools.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/tikz.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/xspace.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/hyperref.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/url.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/nameref.el (source)...done Loading /Applications/Aquamacs.app/Contents/Resources/lisp/aquamacs/edit-modes/auctex/style/comment.el (source)...done Sorting amsthm-newtheorem...done Removing duplicates...done Sorting mathtools-DeclarePairedDelimiter...done Removing duplicates...done Applying style hooks...done Sorting environment...done Removing duplicates...done