Fixed typo.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
This commit is contained in:
parent
17354942c2
commit
687fe0b61c
|
@ -71,7 +71,7 @@ text\<open>
|
|||
\end{bash}
|
||||
|
||||
Please check that this, indeed, installs a version of \pdftex{} that supports the
|
||||
\inlineltx|\expanded|-primitive. To check if your \pdfTeX-binary, execute
|
||||
\inlineltx|\expanded|-primitive. To check your \pdfTeX-binary, execute
|
||||
|
||||
\begin{bash}
|
||||
ë\prompt{}ë pdftex \\expanded{Success}\\end
|
||||
|
|
Loading…
Reference in New Issue