[bump version number to 2.06 Malcolm.Wallace@cs.york.ac.uk**20081002153748] { hunk ./Makefile.bat 6 -set DEFINE= -DFILEVERSION=\"2.04\" -DVERSION=\"2.05\" +set DEFINE= -DFILEVERSION=\"2.04\" -DVERSION=\"2.06\" hunk ./Makefile.inc 12 -HATVERSION = 2.05 +HATVERSION = 2.06 hunk ./configure 12 -HATVERSION="2.05" export HATVERSION +HATVERSION="2.06" export HATVERSION hunk ./docs/download.html 14 -The latest stable release of Hat is 2.04, available in various +The latest stable release of Hat is 2.06, available in various hunk ./docs/download.html 17 -tree is at version 2.05 and is mainly available via -darcs. However, as a special exception, an -interim package of 2.05 has been made available below, specifically for -those wanting to build Hat with the recently-released ghc-6.6. (It -already incorporates all the 2.04 patches below, plus many other -bugfixes. However, its compatibility with the standard base library -package is now somewhat poor. Fuller compatibility will have to wait -until the next proper release cycle.) +tree is at version 2.07 and is mainly available via +darcs. hunk ./docs/download.html 39 + + + Sources (.tar.gz) + any + 2.06 + 2008-10-2 + 1.6Mb + hunk ./docs/download.html 88 - -http://www.cs.york.ac.uk/fp/hat/hat-2.05.tar.gz
+ +http://www.cs.york.ac.uk/fp/hat/hat-2.06.tar.gz
hunk ./docs/download.html 264 -This page last modified: 25th May 2006
+This page last modified: 2nd Oct 2008
hunk ./docs/index.html 34 - Version 2.05 released 22nd Oct 2006. + Version 2.06 released 2nd Oct 2008. hunk ./docs/index.html 373 -This page last modified: 11th Mar 2008
+This page last modified: 2nd Oct 2008
hunk ./docs/status.html 14 -The latest stable release is 2.04. The CVS development tree is now -at version 2.05. Bugfixes and important changes to the system are +The latest stable release is 2.06. The CVS development tree is now +at version 2.07. Bugfixes and important changes to the system are hunk ./docs/status.html 21 -

Hat 2.05 (CVS) features

+

Hat 2.06 (2008-10-02) features

hunk ./docs/status.html 143 -This page last modified: 17th May 2005
+This page last modified: 2nd Oct 2008
}