--- a/src/Doc/System/Misc.thy Mon Feb 21 16:23:11 2022 +0100
+++ b/src/Doc/System/Misc.thy Mon Feb 21 16:48:44 2022 +0100
@@ -182,7 +182,7 @@
@{verbatim [display]
\<open>Usage: isabelle doc [DOC ...]
- View Isabelle documentation.\<close>}
+ View Isabelle PDF documentation.\<close>}
If called without arguments, it lists all available documents. Each line
starts with an identifier, followed by a short description. Any of these
--- a/src/Pure/Tools/doc.scala Mon Feb 21 16:23:11 2022 +0100
+++ b/src/Pure/Tools/doc.scala Mon Feb 21 16:48:44 2022 +0100
@@ -124,13 +124,13 @@
/* Isabelle tool wrapper */
- val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation",
+ val isabelle_tool = Isabelle_Tool("doc", "view Isabelle PDF documentation",
Scala_Project.here, args =>
{
val getopts = Getopts("""
Usage: isabelle doc [DOC ...]
- View Isabelle documentation.
+ View Isabelle PDF documentation.
""")
val docs = getopts(args)