[Agda] Alpha version of Agda Installer for Windows

Makoto Takeyama makoto.takeyama at aist.go.jp
Wed Feb 20 11:13:34 CET 2008


Dear All,

As expected (sorry), the 2008-02-18 version of Agda installer for
Windows had a few bugs(*).  The new version is available as

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


(*) Bugs fixed:
1. ntemacs fails to start normally, complaining about missing fonts.
   (Some test file was mixed up in agda2/ntemacs/22.1/site-lisp/site-start.el)

2. install.cmd cannot be run using the windows command runas /user:... 
   (install.cmd assumed it is invoked at the directory it resides, but
    runas invokes the argument command after changing directory to
    somewhere else.  Now install.cmd itself cd to where it is.)


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