c'est svn ou git ? Sur svn on ne peut pas pousser les fichiers qui n'ont pas la même version mais je suppose qu'il a updaté et qu'il a un IDE qui ne recharge pas les fichiers et donc il a tout écrasé tes modifs. Faut le prévenir qu'il doit updater ces fichiers en ayant aucun fichier ouvert sinon tu risques de retrouver le problème.