[Agda] Agda Installer for Windows

Wed Jul 16 10:59:12 CEST 2008

On Wed, Jul 16, 2008 at 7:45 AM, Makoto Takeyama
<makoto.takeyama at aist.go.jp> wrote:
>
> A GUI version of 'one-click' Agda Installer for Windows is ready(?) for pre-alpha testing.

Great.

> This one was prepared by Kuragaki-san using Inno Setup 5.

If possible, can you place the scripts used to build the installer in
the Agda repository? (After you have finished testing it.)

-- 
/NAD