equal
deleted
inserted
replaced
373 \<^medskip> |
373 \<^medskip> |
374 The default is to output the full version string of the Isabelle |
374 The default is to output the full version string of the Isabelle |
375 distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2021: February 2021\<close>. |
375 distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2021: February 2021\<close>. |
376 |
376 |
377 The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial |
377 The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial |
378 id of the @{setting ISABELLE_HOME} directory. |
378 id of the @{setting ISABELLE_HOME} directory. This requires either a |
|
379 repository clone or a repository archive (e.g. download of |
|
380 \<^url>\<open>https://isabelle.sketis.net/repos/isabelle/archive/tip.tar.gz\<close>). |
379 \<close> |
381 \<close> |
380 |
382 |
381 end |
383 end |