diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-15 22:54:27 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-15 22:54:27 +0100 |
commit | c3ab05db6ae028cb06d7695c9c574042dc5ccdb2 (patch) | |
tree | 8b11b798e2af892578a5647a5eddefa2da68ca1d /lsr_env.tex | |
parent | aeb7b75278c6affa9499b03f592f6869ae2ca19f (diff) | |
download | lsr22_fvhls-c3ab05db6ae028cb06d7695c9c574042dc5ccdb2.tar.gz lsr22_fvhls-c3ab05db6ae028cb06d7695c9c574042dc5ccdb2.zip |
Some more tweaking
Diffstat (limited to 'lsr_env.tex')
-rw-r--r-- | lsr_env.tex | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lsr_env.tex b/lsr_env.tex index d74cd82..b673afb 100644 --- a/lsr_env.tex +++ b/lsr_env.tex @@ -380,11 +380,12 @@ title=yes, style=italic, list=all, + number=yes, listtext={Theorem }] \defineenumeration [proof] -[ text=Proof., +[ text=Proof sketch., number=no, headstyle=italic, title=no, @@ -400,9 +401,11 @@ \defineenumeration [lemma] -[ text=Corollary, - number=theorem, +[ text=Lemma, + number=yes, + style=italic, list=all, + title=yes, listtext={Lemma }] \definestartstop |