matita : current version: 0.99.3
matitaB: new     version: 0.5.8
helm   : old     version: 0.5.8  with additional material