Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Removed pdflatex check (TeX Live 2019 should available everywhere and the dependency is still checked during installation.

This commit is contained in:
Achim D. Brucker 2021-01-05 11:25:55 +00:00
parent d2dcc71229
commit 20b3e7c0b7
1 changed files with 0 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
View File

@ -105,27 +105,6 @@ text\<open>
%@ {boxed_bash [display]\<open>
%ë\prompt{}ë sudo aptitude install texlive-latex-extra texlive-fonts-extra
%\<close>}
Please check that this really installs a version of \<^pdftex> that supports the
\<^boxed_latex>\<open>\expanded\<close>. To check your \<^pdftex>-binary, execute:
\begin{bash}
ë\prompt{}ë pdftex \\expanded{Success}\\end
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian).
Output written on texput.pdf (1 page, 8650 bytes).
Transcript written on texput.log.
\end{bash}
%@ {boxed_bash [display]\<open>
%ë\prompt{}ë pdftex \\expanded{Success}\\end
%This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian).
%Output written on texput.pdf (1 page, 8650 bytes).
%Transcript written on texput.log.
%\<close>}
If this generates successfully a file \inlinebash|texput.pdf|, your \<^pdftex>-binary supports
the \<^boxed_latex>\<open>\expanded\<close>-primitive. If your Linux distribution does not (yet) ship \<^TeXLive>
2019 or your are running Windows or OS X, please follow the installation instructions from
\<^url>\<open>https://www.tug.org/texlive/acquire-netinstall.html\<close>.
\<close>
subsubsection*[isadof::technical]\<open>Installing \<^isadof>\<close>