Stainless Release Notes

known issues
version 0.8 (07/25/11, final official release)
version 0.7.5 (11/04/09)
version 0.7 (09/22/09)
version 0.6.5 (07/07/09)
version 0.6 (05/08/09)
version 0.5.5 (04/07/09)
version 0.5.4 (03/23/09)
version 0.5.3 (03/08/09)
version 0.5.2 (03/05/09)
version 0.5.1 (03/05/09)
version 0.5 (03/05/09)
version 0.4.5 (12/10/08)
version 0.4 (11/12/08)
bug squashing release version 0.3.5 (10/30/08) version 0.3 (10/21/08) version 0.2.5 (10/15/08) version 0.2 (10/10/08) version 0.1.5 (10/01/08)
maintenance release version 0.1 (09/25/08)