--- a/src/Doc/System/Server.thy Thu Oct 29 09:59:40 2020 +0000
+++ b/src/Doc/System/Server.thy Thu Oct 29 10:03:03 2020 +0000
@@ -766,7 +766,7 @@
text \<open>
Build of a session image from the Isabelle distribution:
- @{verbatim [display] \<open>session_build {"session": "HOL-Word"}\<close>}
+ @{verbatim [display] \<open>session_build {"session": "HOL-Algebra"}\<close>}
Build a session image from the Archive of Formal Proofs:
@{verbatim [display] \<open>session_build {"session": "Coinductive", "dirs": ["$AFP_BASE/thys"]}\<close>}