aboutsummaryrefslogtreecommitdiff
path: root/ekdosis.dtx
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-11-28 12:17:39 +0100
committerRobert Alessi <alessi@robertalessi.net>2018-11-28 12:17:39 +0100
commitb2471fdc0b242d98bcdecc25007dd04bcad1e87b (patch)
tree2e2dd4f206c7046f94e86b5cbb36615c437ca683 /ekdosis.dtx
parent70905907378f2f9c4abd79823539828a56b926db (diff)
downloadekdosis-b2471fdc0b242d98bcdecc25007dd04bcad1e87b.tar.gz
added 'nolem' option to \lem to take out the lemma from the apparatus
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r--ekdosis.dtx9
1 files changed, 7 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index 284616e..5c1c875 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -387,8 +387,13 @@ Running "make install" installs the files in the local TeX tree.
387 "pg_ii")}% 387 "pg_ii")}%
388 \ifbool{ekd@state}{\add@apparatus}{}% 388 \ifbool{ekd@state}{\add@apparatus}{}%
389 #1} 389 #1}
390\newkeycommand+[\|]{\lem}[wit, alt, pre, post, prewit, postwit][1]{% 390\newkeycommand+[\|]{\lem}[wit, alt, pre, post, prewit, postwit,
391choice nolem={false,,true}][1]{%
391 #1% 392 #1%
393 |\ifnum|%
394 \commandkey{nolem}>0%
395 |\append@ln@app{}|%
396 |\else|%
392 |\ifbool{al@rlmode}|% 397 |\ifbool{al@rlmode}|%
393 {|\append@ln@app|{% 398 {|\append@ln@app|{%
394 \bgroup% 399 \bgroup%
@@ -421,7 +426,7 @@ Running "make install" installs the files in the local TeX tree.
421 \ifcommandkey{wit}{ \commandkey{wit}}{}% 426 \ifcommandkey{wit}{ \commandkey{wit}}{}%
422 \ifcommandkey{postwit}{ \commandkey{postwit}}{}:% 427 \ifcommandkey{postwit}{ \commandkey{postwit}}{}:%
423 }}% 428 }}%
424} 429|\fi|}
425\newkeycommand+[\|]{\rdg}[wit, alt, pre, post, prewit, postwit][1]{% 430\newkeycommand+[\|]{\rdg}[wit, alt, pre, post, prewit, postwit][1]{%
426 |\ifbool{al@rlmode}|% 431 |\ifbool{al@rlmode}|%
427 {|\append@app|{% 432 {|\append@app|{%