[Agda] Different versions of agda on Windows and Linux

[Norio KATO]

Dear Anton and other subscribers,

Today, we have released a new version of Agda (1.0.2) to sourceforge.
Currently, three packages are available: a Windows binary installer,
a platform-independent source tarball, and another source tarball
that will build a latin-1 version of Agda regardless of which version
of GHC compiler you use to build.  Binary packages for linux and
macintosh will also be released in the near future.

To compile from source tarball, try:
% ./configure --enable-newsyntax
% make

Thanks.

--
Norio KATO

Research Center for Verification and Semantics,
National Institute of Advanced Industrial Science and Technology