agda/doc/release-notes/2.2.2.md

Release notes for Agda 2 version 2.2.2

Tools

• The --malonzodir option has been renamed to --malonzo-dir.

• The output of agda --html is by default placed in a directory called html.

Infrastructure

• The Emacs mode is included in the Agda Cabal package, and installed by cabal install. The recommended way to enable the Emacs mode is to include the following code in .emacs:

  (load-file (let ((coding-system-for-read 'utf-8))
                  (shell-command-to-string "agda-mode locate")))