Skip to content

Commit

Permalink
Merge branch 'tlc3-errata' into develop
Browse files Browse the repository at this point in the history
  • Loading branch information
FrankMittelbach committed May 23, 2024
2 parents a94150a + c0a7bda commit 625a7c0
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions base/doc/tlc3.err
Original file line number Diff line number Diff line change
Expand Up @@ -1438,6 +1438,9 @@ a few that \> a few \u{commands} that
\erroronpage{II-658}{first item in the list}{BeB}{2024/03/17}{s}
square root $\sqrt{x}$ \> square root \texttt{sqrt} $x$

\erroronpage{II-663}{A-3-7}{MRu}{2024/05/01}{}
In the code, text should read either ``This is the content'' or ``These are the contents''.

\erroronpage{II-682}{para -2, l .3}{FMi}{2023/04/28}{s}
\texttt{Harf\u{b}uzz} \> \texttt{Harf\u{B}uzz}

Expand Down

0 comments on commit 625a7c0

Please sign in to comment.