Previous releases

From MCRL2

Contents 1 Release January 2009 (SVN revision 5546) 2 Release June 2008 (SVN revision 4838) 3 Release January 2008 (SVN revision 4041) 4 Release July 2007 (SVN revision 3196)

Release January 2009 (SVN revision 5546)

	File	Type	Platforms
Binary	mcrl2-200901-bin-mingw32.exe	Self-extracting Zip file	Windows
Source	mcrl2-200901-src.tar.bz2	Tar BZip2 archive	Linux, FreeBSD, Mac OS X

• a slideshow containing the most important changes

Release June 2008 (SVN revision 4838)

	File	Type	Platforms
Binary	mcrl2-200807.msi	Installable package	Windows
Binary	mcrl2-200807-bin-mingw32.exe	Self-extracting Zip file	Windows
Source	mcrl2-200807-1.src.tar.bz2	Tar BZip2 archive	Linux, FreeBSD, Mac OS X

Release January 2008 (SVN revision 4041)

	File	Type	Platforms
Binary	mcrl2-200801-bin-mingw32.exe	Self-extracting Zip file	Windows
Source	mcrl2-200801-src.tar.bz2	Tar BZip2 archive	Linux, FreeBSD, Mac OS X

Release July 2007 (SVN revision 3196)

	File	Type	Platforms
Binary	mcrl2-200707-bin-mingw32.exe	Self-extracting Zip file	Windows
Source	mcrl2-200707-src.tar.bz2	Tar BZip2 archive	Linux, FreeBSD, Mac OS X