equal
deleted
inserted
replaced
329 |
329 |
330 Display Isabelle version information. |
330 Display Isabelle version information. |
331 \end{ttbox} |
331 \end{ttbox} |
332 |
332 |
333 \medskip The default is to output the full version string of the |
333 \medskip The default is to output the full version string of the |
334 Isabelle distribution, e.g.\ ``\verb|Isabelle2008: June 2008|. |
334 Isabelle distribution, e.g.\ ``\verb|Isabelle2011: January 2011|. |
335 |
335 |
336 The \verb|-i| option produces a short identification derived |
336 The \verb|-i| option produces a short identification derived |
337 from the Mercurial id of the \hyperlink{setting.ISABELLE-HOME}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}HOME}}}} directory.% |
337 from the Mercurial id of the \hyperlink{setting.ISABELLE-HOME}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}HOME}}}} directory.% |
338 \end{isamarkuptext}% |
338 \end{isamarkuptext}% |
339 \isamarkuptrue% |
339 \isamarkuptrue% |