1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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`:
```elisp
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "agda-mode locate")))
```
|
