diff options
Diffstat (limited to 'ealg/n6.lyx')
| -rw-r--r-- | ealg/n6.lyx | 24 |
1 files changed, 8 insertions, 16 deletions
diff --git a/ealg/n6.lyx b/ealg/n6.lyx index da24dc8..343a1ac 100644 --- a/ealg/n6.lyx +++ b/ealg/n6.lyx @@ -813,13 +813,7 @@ status open \backslash -hbox{ -\backslash -vline -\backslash -hspace{2pt} -\backslash -vbox{ +begin{exinfo} \end_layout \end_inset @@ -894,7 +888,9 @@ status open \begin_layout Plain Layout -}} + +\backslash +end{exinfo} \end_layout \end_inset @@ -1742,13 +1738,7 @@ status open \backslash -vspace{-0.8em}{ -\backslash -hbox{ -\backslash -vline -\backslash -vbox{ +begin{exinfo} \end_layout \end_inset @@ -1808,7 +1798,9 @@ status open \begin_layout Plain Layout -}} + +\backslash +end{exinfo} \end_layout \end_inset |