aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-10-08 08:00:59 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-10-08 08:00:59 +0200
commit978c8c10f734666260132143b14ed57201d9e201 (patch)
treec86e4b7754d4375b234313df0592cc54f736e25c
parentd672c3818a6b9341e78d6933ade8e1820f46192b (diff)
downloadekdosis-978c8c10f734666260132143b14ed57201d9e201.tar.gz
a correction
-rw-r--r--ekdosis.dtx40
1 files changed, 21 insertions, 19 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index d08b4a3..07fc12e 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -1752,13 +1752,13 @@ yesterday.
1752\begin{minted}[linenos=false]{latex} 1752\begin{minted}[linenos=false]{latex}
1753As I was walking home through Times Square, I saw my friend 1753As I was walking home through Times Square, I saw my friend
1754\app{ 1754\app{
1755 \lem[wit={A,B}, alt={Peter\---yesterday}]{Peter at the 1755 \lem[wit={A,B}, alt={Peter\---Street}]{Peter at the
1756 \app{ 1756 \app{
1757 \lem[wit=A, alt=station]{station} 1757 \lem[wit=A, alt=station]{station}
1758 \rdg[wit=B, alt=bookstore]{bookstore} 1758 \rdg[wit=B, alt=bookstore]{bookstore}
1759 } 1759 }
1760 yesterday} 1760 on 42nd Street}
1761 \rdg[wit=C, alt={John this evening}]{John this evening} 1761 \rdg[wit=C, alt={John on Broadway}]{John on Broadway}
1762}. 1762}.
1763\end{minted} 1763\end{minted}
1764% \iffalse 1764% \iffalse
@@ -1774,12 +1774,12 @@ As I was walking home through Times Square, I saw my friend
1774% \begin{specimen} 1774% \begin{specimen}
1775% As I was walking home through Times Square, I saw my friend 1775% As I was walking home through Times Square, I saw my friend
1776% \app{ 1776% \app{
1777% \lem[wit={pjA,pjB}, alt={Peter\---yesterday}]{Peter at the 1777% \lem[wit={pjA,pjB}, alt={Peter\---Street}]{Peter at the
1778% \app{ 1778% \app{
1779% \lem[wit=pjA, alt=station]{station} 1779% \lem[wit=pjA, alt=station]{station}
1780% \rdg[wit=pjB, alt=bookstore]{bookstore}} 1780% \rdg[wit=pjB, alt=bookstore]{bookstore}}
1781% yesterday} 1781% on 42nd Street}
1782% \rdg[wit=pjC, alt={John this evening}]{John this evening}}. 1782% \rdg[wit=pjC, alt={John on Broadway}]{John on Broadway}}.
1783% \end{specimen} 1783% \end{specimen}
1784% \end{alignment} 1784% \end{alignment}
1785% 1785%
@@ -1796,8 +1796,8 @@ friend
1796 <app> 1796 <app>
1797 <lem wit="#A">station</lem> 1797 <lem wit="#A">station</lem>
1798 <rdg wit="#B">bookstore</rdg> 1798 <rdg wit="#B">bookstore</rdg>
1799 </app>yesterday</lem> 1799 </app>on 42nd Street</lem>
1800 <rdg wit="#C">John this evening</rdg> 1800 <rdg wit="#C">John on Broadway</rdg>
1801</app>.</p> 1801</app>.</p>
1802\end{minted} 1802\end{minted}
1803% \iffalse 1803% \iffalse
@@ -1829,12 +1829,12 @@ friend
1829As I was walking home through Times Square, I saw my friend 1829As I was walking home through Times Square, I saw my friend
1830\app{ 1830\app{
1831 \rdgGrp[type=subvariation]{ 1831 \rdgGrp[type=subvariation]{
1832 \lem[wit=A, alt={Peter\---yesterday}]{Peter at the station 1832 \lem[wit=A, alt={Peter\---Street}]{Peter at the station
1833 yesterday} 1833 on 42nd Street}
1834 \rdg[wit=B, alt={bookstore \emph{pro} station}]{Peter at the 1834 \rdg[wit=B, alt={bookstore \emph{pro} station}]{Peter at the
1835 bookstore yesterday} 1835 bookstore on 42nd Street}
1836 } 1836 }
1837 \rdg[wit=C]{John this evening} 1837 \rdg[wit=C]{John on Broadway}
1838}. 1838}.
1839\end{minted} 1839\end{minted}
1840% \iffalse 1840% \iffalse
@@ -1851,12 +1851,12 @@ As I was walking home through Times Square, I saw my friend
1851% As I was walking home through Times Square, I saw my friend 1851% As I was walking home through Times Square, I saw my friend
1852% \app{ 1852% \app{
1853% \rdgGrp[type=subvariation]{ 1853% \rdgGrp[type=subvariation]{
1854% \lem[wit=pjA, alt={Peter\---yesterday}]{Peter at the station 1854% \lem[wit=pjA, alt={Peter\---Street}]{Peter at the station
1855% yesterday} 1855% on 42nd Street}
1856% \rdg[wit=pjB, alt={bookstore \emph{pro} station}]{Peter at the 1856% \rdg[wit=pjB, alt={bookstore \emph{pro} station}]{Peter at the
1857% bookstore yesterday} 1857% bookstore on 42nd Street}
1858% } 1858% }
1859% \rdg[wit=pjC]{John this evening} 1859% \rdg[wit=pjC]{John on Broadway}
1860% }. 1860% }.
1861% \end{specimen} 1861% \end{specimen}
1862% \end{alignment} 1862% \end{alignment}
@@ -1871,10 +1871,12 @@ As I was walking home through Times Square, I saw my friend
1871friend 1871friend
1872<app> 1872<app>
1873 <rdgGrp type="subvariation"> 1873 <rdgGrp type="subvariation">
1874 <lem wit="#A">Peter at the station yesterday</lem> 1874 <lem wit="#A">Peter at the station on 42nd
1875 <rdg wit="#B">Peter at the bookstore yesterday</rdg> 1875 Street</lem>
1876 <rdg wit="#B">Peter at the bookstore on 42nd
1877 Street</rdg>
1876 </rdgGrp> 1878 </rdgGrp>
1877 <rdg wit="#C">John this evening</rdg> 1879 <rdg wit="#C">John on Broadway</rdg>
1878</app>.</p> 1880</app>.</p>
1879\end{minted} 1881\end{minted}
1880% \iffalse 1882% \iffalse