[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