forked from Isabelle_DOF/Isabelle_DOF
Switch from pdf(la)tex to lua(la)tex.
This commit is contained in:
parent
f975672901
commit
389fd6d033
|
@ -28,7 +28,6 @@ define_shortcut* TeXLive \<rightleftharpoons> \<open>\TeXLive\<close>
|
||||||
LaTeX \<rightleftharpoons> \<open>\LaTeX{}\<close>
|
LaTeX \<rightleftharpoons> \<open>\LaTeX{}\<close>
|
||||||
TeX \<rightleftharpoons> \<open>\TeX{}\<close>
|
TeX \<rightleftharpoons> \<open>\TeX{}\<close>
|
||||||
pdf \<rightleftharpoons> \<open>PDF\<close>
|
pdf \<rightleftharpoons> \<open>PDF\<close>
|
||||||
pdftex \<rightleftharpoons> \<open>\pdftex{}\<close>
|
|
||||||
|
|
||||||
text\<open>Note that these setups assume that the associated \<^LaTeX> macros
|
text\<open>Note that these setups assume that the associated \<^LaTeX> macros
|
||||||
are defined, \<^eg>, in the document prelude. \<close>
|
are defined, \<^eg>, in the document prelude. \<close>
|
||||||
|
|
|
@ -1202,7 +1202,7 @@ text\<open>
|
||||||
to develop new document templates or ontology representations. The default setup of the \<^isadof>
|
to develop new document templates or ontology representations. The default setup of the \<^isadof>
|
||||||
build system generated a \<^path>\<open>output/document\<close> directory with a self-contained \<^LaTeX>-setup. In
|
build system generated a \<^path>\<open>output/document\<close> directory with a self-contained \<^LaTeX>-setup. In
|
||||||
this directory, you can directly use \<^LaTeX> on the main file, called \<^path>\<open>root.tex\<close>:
|
this directory, you can directly use \<^LaTeX> on the main file, called \<^path>\<open>root.tex\<close>:
|
||||||
@{boxed_bash [display] \<open>ë\prompt{MyProject/output/document}ë pdflatex root.tex\<close>}
|
@{boxed_bash [display] \<open>ë\prompt{MyProject/output/document}ë lualatex root.tex\<close>}
|
||||||
|
|
||||||
This allows you to develop and check your \<^LaTeX>-setup without the overhead of running
|
This allows you to develop and check your \<^LaTeX>-setup without the overhead of running
|
||||||
\<^boxed_bash>\<open>isabelle build\<close> after each change of your template (or ontology-style). Note that
|
\<^boxed_bash>\<open>isabelle build\<close> after each change of your template (or ontology-style). Note that
|
||||||
|
@ -1217,7 +1217,7 @@ text\<open>
|
||||||
cut off. Thus, it can be very helpful to configure \<^LaTeX> in such a way that it prints
|
cut off. Thus, it can be very helpful to configure \<^LaTeX> in such a way that it prints
|
||||||
long error or warning messages. This can easily be done for individual
|
long error or warning messages. This can easily be done for individual
|
||||||
\<^LaTeX> invocations:
|
\<^LaTeX> invocations:
|
||||||
@{boxed_bash [display] \<open>ë\prompt{MyProject/output/document}ë max_print_line=200 error_line=200 half_error_line=100 pdflatex root.tex\<close>}
|
@{boxed_bash [display] \<open>ë\prompt{MyProject/output/document}ë max_print_line=200 error_line=200 half_error_line=100 lualatex root.tex\<close>}
|
||||||
\<close>
|
\<close>
|
||||||
|
|
||||||
subsubsection\<open>Deferred Declaration of Information\<close>
|
subsubsection\<open>Deferred Declaration of Information\<close>
|
||||||
|
|
Loading…
Reference in New Issue