# 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/ */