[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