Version v1.2.3

Fixed some minor bugs.

v1.2.1

prepare release v1.2.1

Compiled Agda Writer

Added Compiled Agda Writer

Agda Writer v1.1

Agda Writer now comes with bundled Agda, version 2.4.2.2.
Now you can just open Agda Writer and start using Agda.

You can also choose to use different Agda (see AW's settings).

Version 1.0

Version 1.0 is ready to be released.