История коммитов

Автор SHA1 Сообщение Дата
  tristangurtler f7faf80c5e Refactoring: put proof code (and global variables) in one shared class the other things inherit from 5 лет назад