Система контроля версий используется (меркуриал). Но это не решает проблему. Ведь не делать же локальные коммиты после сохранения каждого файла? Например, после того, как (в приведенном примере) Вася затрет изменения Пети, а затем Петя снова откроет этот файл, например, в 14.30, то своего кода Петя не увидит (соответственно, код Пети не попадет в систему контроля версий).
