diff -r 9c62b9201e12 -r 12028de0b66a src/Pure/Admin/component_elm.scala
--- a/src/Pure/Admin/component_elm.scala	Sun Jan 12 14:19:06 2025 +0100
+++ b/src/Pure/Admin/component_elm.scala	Sun Jan 12 14:21:22 2025 +0100
@@ -1,4 +1,5 @@
-/*  Author:     Fabian Huch, TU Muenchen
+/*  Title:      Pure/Admin/component_elm.scala
+    Author:     Fabian Huch, TU Muenchen
 
 Build Isabelle Elm component from official downloads. See also: https://elm-lang.org/
 */