K 10 svn:author V 4 gahr K 8 svn:date V 27 2016-02-05T16:31:10.214764Z K 7 svn:log V 161 lang/seed7: take back this port, update to 05_20160130. Release notes: http://sourceforge.net/projects/seed7/files/seed7/seed7_05_20160130/relnote_20160130.txt END