]> mj.ucw.cz Git - saga.git/commit
Names of theorems are typeset on a separate line.
authorMartin Mares <mj@ucw.cz>
Fri, 22 Feb 2008 17:02:08 +0000 (18:02 +0100)
committerMartin Mares <mj@ucw.cz>
Fri, 22 Feb 2008 17:02:08 +0000 (18:02 +0100)
commita33791d3f489cf8216516baafa246713b736a204
treeaf4bd68a8207de04277dc6c668ccb1d835bee0ef
parent45c3472ad54cd6ceef01c44a07d71b97e9fe3eb9
Names of theorems are typeset on a separate line.
macros.tex
mst.tex