Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned headers;
authorwenzelm
Sun, 12 Jan 2025 14:21:22 +0100
changeset 81784 12028de0b66a
parent 81783 9c62b9201e12
child 81785 dde5b5463429
tuned headers;
src/Pure/Admin/component_elm.scala file | annotate | diff | comparison | revisions
src/Pure/Admin/component_solr.scala file | annotate | diff | comparison | revisions 
--- 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/
 */
--- 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/
 */
isabelle