src/Pure/Tools/doc.ML

--- a/src/Pure/Tools/doc.ML	Wed Jun 25 11:51:13 2025 +0200
+++ b/src/Pure/Tools/doc.ML	Wed Jun 25 12:08:12 2025 +0200
@@ -14,7 +14,7 @@
 
 fun check ctxt arg =
   Completion.check_item "documentation" (Markup.doc o #1)
-    (\<^scala>\<open>doc_names\<close> "" |> split_lines |> map (rpair ())) ctxt arg;
+    (\<^scala>\<open>doc_names\<close> ML_System.platform |> split_lines |> map (rpair ())) ctxt arg;
 
 val _ =
   Theory.setup