forked from Isabelle_DOF/Isabelle_DOF
Fixed spelling.
This commit is contained in:
parent
aadbce7844
commit
201d12a01a
|
@ -47,7 +47,7 @@ text\<open>
|
||||||
\<^LaTeX>. We assume a basic familiarity with a Linux/Unix-like command line (i.e., a shell).
|
\<^LaTeX>. We assume a basic familiarity with a Linux/Unix-like command line (i.e., a shell).
|
||||||
|
|
||||||
\<^isadof> requires Isabelle\<^bindex>\<open>Isabelle\<close> (\isabellefullversion) with a recent \<^LaTeX>-distribution
|
\<^isadof> requires Isabelle\<^bindex>\<open>Isabelle\<close> (\isabellefullversion) with a recent \<^LaTeX>-distribution
|
||||||
(e.g., TexLive 2020 or later).
|
(e.g., Tex Live 2020 or later).
|
||||||
\<^isadof> uses a two-part version system (e.g., 1.0.0/2020), where the first part is the version
|
\<^isadof> uses a two-part version system (e.g., 1.0.0/2020), where the first part is the version
|
||||||
of \<^isadof> (using semantic versioning) and the second part is the supported version of Isabelle.
|
of \<^isadof> (using semantic versioning) and the second part is the supported version of Isabelle.
|
||||||
Thus, the same version of \<^isadof> might be available for different versions of Isabelle.
|
Thus, the same version of \<^isadof> might be available for different versions of Isabelle.
|
||||||
|
|
Loading…
Reference in New Issue