# authors: Mikolas Janota, Joao Marques-Silva # contributors: Ines Lynce, Vasco Manquinho # email mikolas@sat.inesc-id.pt # (C) 2011 Mikolas Janota # release: 0.6 distribution date: 2011-06-05 change set: e09be74b0d54 # Released under the GPL license.