[Agda] Windows Agda2 Installer, 3rd try

Makoto Takeyama makoto.takeyama at aist.go.jp
Thu Feb 21 10:43:42 CET 2008


Dear All,

The third alpha version of Agda2 installer for Windows is testable from

http://kurama.cvs.gr.jp/agda/agda2_install-2008-02-21.zip

This one does not require the administrator privilege for installation.

Best Wishes,
Makoto
-- 
Makoto Takeyama <makoto.takeyama at aist.go.jp>
AIST/CVS (National Institute of Advanced Industrial Science and Technology /
          Research Center for Verification and Semantics)
tel: +81-6-4863-5019   fax: +81-6-4863-5052





More information about the Agda mailing list