- Proof version 6.6 - 2/25/2016
- Proof version 6.5 - 01/22/2016
- Proof version 6.3 - 10/31/2015
- Proof Version 6.2 - 10/04/2015
- Proof Version 6.1.5 - 8/16/2015
- Proof Version 6.1 - 7/16/2015
- Proof version 6.0 - 5/28/2015
- Proof Version 5.2 - 2/8/2015
- Proof Version 5.1.5 - 1/19/2015
- Proof Version 5.0.5 - 12/5/2014
- Proof Version 4.9 - 11/16/2014
- Proof Version 4.8 - 11/2/2014
- Proof Version 4.6 - 10/7/2014
- Proof Version 4.4 - 9/1/2014
- Proof Version 3.8.3 - 4/2/2014
- Proof Version 3.8 - 3/19/2014
- Proof Version 3.6 - 2/17/2014
- Proof Version 3.5 - 12/20/2013