# HG changeset patch
# User wenzelm
# Date 1736688082 -3600
# Node ID 12028de0b66a1d12e367aa82bd2a66ad42164aa0
# Parent  9c62b9201e1238f6a29b474e9bc149cea599b84a
tuned headers;

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/
 */
diff -r 9c62b9201e12 -r 12028de0b66a src/Pure/Admin/component_solr.scala
--- a/src/Pure/Admin/component_solr.scala	Sun Jan 12 14:19:06 2025 +0100
+++ b/src/Pure/Admin/component_solr.scala	Sun Jan 12 14:21:22 2025 +0100
@@ -1,4 +1,5 @@
-/*  Author:     Fabian Huch, TU Muenchen
+/*  Title:      Pure/Admin/component_solr.scala
+    Author:     Fabian Huch, TU Muenchen
 
 Build Isabelle Solr component from official downloads. See also: https://solr.apache.org/
 */