diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2021-04-25 09:50:59 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2021-04-25 09:50:59 +0200 |
| commit | e52d2827ba496e135f36409b900b908d4840feb2 (patch) | |
| tree | 86f74a134340ac56692091ae283439aba42250f8 | |
| parent | 6219ac62c9c11fa4bf11a78c8a27d7b23045bf0c (diff) | |
| download | ekdosis-e52d2827ba496e135f36409b900b908d4840feb2.tar.gz | |
a typo
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 513483e..4f7a21f 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -2069,7 +2069,7 @@ friend | |||
| 2069 | % the nested lemmas are printed \emph{before} their parents in the | 2069 | % the nested lemmas are printed \emph{before} their parents in the |
| 2070 | % apparatus criticus, they are seen by \pkg{ekdosis} \emph{after} the | 2070 | % apparatus criticus, they are seen by \pkg{ekdosis} \emph{after} the |
| 2071 | % latter as the source file is compiled. As a result, notably when the | 2071 | % latter as the source file is compiled. As a result, notably when the |
| 2072 | % whole nested group of lemmas fall on the same line without being | 2072 | % whole nested group of lemmas falls on the same line without being |
| 2073 | % preceded by an apparatus entry on this line, it may be needed to | 2073 | % preceded by an apparatus entry on this line, it may be needed to |
| 2074 | % suppress redundant numbers that \pkg{ekdosis} may have decided to | 2074 | % suppress redundant numbers that \pkg{ekdosis} may have decided to |
| 2075 | % print in the appartus criticus. Conversely, it may be needed to | 2075 | % print in the appartus criticus. Conversely, it may be needed to |