8 коммитов (0ee655c856d37c6cf66ac432352429d31e4bf214)

 

Все ветки   

Поиск

Автор	SHA1	Сообщение	Дата
flavis	0ee655c856	replace double | with \Vert	5 лет назад
flavis	a861b07e65	move newcommands in document body and update complete script	5 лет назад
JosuaKugler	1f5f1d8b4a	version 0 finished	5 лет назад
flavis	a729cf48c6	update ana2	5 лет назад
flavis	f72d654cba	fix lemma numbering	5 лет назад
flavis	1b374e0f61	move from article to book, improve headers	5 лет назад
flavis	a110be47da	add ana2	5 лет назад
flavis	9198d44f97	initial commit	5 лет назад