5 коммитов (4ac2dfcd1f19ad334bcb121ee637899266c6352c)

Автор SHA1 Сообщение Дата
  JosuaKugler c6a2eb583d hopefully fixed everything, added .out files to gitignore 5 лет назад
  JosuaKugler 9a1c35636b minor changes, added hyperref 5 лет назад
  flavis f72d654cba fix lemma numbering 5 лет назад
  flavis 1b374e0f61 move from article to book, improve headers 5 лет назад
  flavis a110be47da add ana2 5 лет назад