--- a/src/Doc/System/Misc.thy Tue Nov 05 23:27:47 2024 +0100
+++ b/src/Doc/System/Misc.thy Tue Nov 05 23:45:39 2024 +0100
@@ -191,7 +191,7 @@
@{verbatim [display]
\<open>Usage: isabelle doc [DOC ...]
- View Isabelle PDF documentation.\<close>}
+ View Isabelle 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 Tue Nov 05 23:27:47 2024 +0100
+++ b/src/Pure/Tools/doc.scala Tue Nov 05 23:45:39 2024 +0100
@@ -1,7 +1,7 @@
/* Title: Pure/Tools/doc.scala
Author: Makarius
-Access to Isabelle examples and PDF documentation.
+Access to Isabelle examples and documentation.
*/
package isabelle
@@ -130,13 +130,13 @@
/* Isabelle tool wrapper */
- val isabelle_tool = Isabelle_Tool("doc", "view Isabelle PDF documentation",
+ val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation",
Scala_Project.here,
{ args =>
val getopts = Getopts("""
Usage: isabelle doc [DOC ...]
- View Isabelle examples and PDF documentation.
+ View Isabelle documentation.
""")
val docs = getopts(args)