equal
deleted
inserted
replaced
2007 (BasePoints: @Template41Points; |
2007 (BasePoints: @Template41Points; |
2008 BasePointsCount: Succ(High(Template41Points)); |
2008 BasePointsCount: Succ(High(Template41Points)); |
2009 FillPoints: @Template40FPoints; |
2009 FillPoints: @Template40FPoints; |
2010 FillPointsCount: Succ(High(Template41FPoints)); |
2010 FillPointsCount: Succ(High(Template41FPoints)); |
2011 BezierizeCount: 3; |
2011 BezierizeCount: 3; |
2012 RandPassesCount: 3; |
2012 RandPassesCount: 5; |
2013 TemplateHeight: 2048; TemplateWidth: 4096; |
2013 TemplateHeight: 2048; TemplateWidth: 4096; |
2014 canMirror: true; canFlip: true; isNegative: false; canInvert: false; |
2014 canMirror: true; canFlip: true; isNegative: false; canInvert: false; |
2015 hasGirders: true; |
2015 hasGirders: true; |
2016 MaxHedgehogs: 48; |
2016 MaxHedgehogs: 48; |
2017 ) |
2017 ) |