Views
Previous releases
From MCRL2
Contents |
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 |
This page was last modified on 15 February 2010, at 10:39. This page has been accessed 7,382 times.
Copyright © 2005-2010 Technische Universiteit Eindhoven.
Copyright © 2005-2010 Technische Universiteit Eindhoven.
