ana-lecture

1 Dal

78MB

Yazar	SHA1	Mesaj	Tarih
flavis	3ad08e7437	increase bottom margin to 35mm	5 yıl önce
flavis	248b19e3d7	change bottom margin to 25mm	5 yıl önce
flavis	d8946650ff	add contradiction symbol	5 yıl önce
JosuaKugler	dbfd8f9c43	bookmarks support unicode now	5 yıl önce
flavis	82dc897168	remove additional vertical pipe	5 yıl önce
JosuaKugler	c6a2eb583d	hopefully fixed everything, added .out files to gitignore	5 yıl önce
JosuaKugler	9a1c35636b	minor changes, added hyperref	5 yıl önce
flavis	f72d654cba	fix lemma numbering	5 yıl önce
flavis	1b374e0f61	move from article to book, improve headers	5 yıl önce
flavis	a110be47da	add ana2	5 yıl önce