# HG changeset patch
# User wenzelm
# Date 1678227880 -3600
# Node ID 98b4a9902582239191c21a46c0220b6c8f2bf4fc
# Parent  a8fa53c086a4ccac002a7f29ef7351f5256e869d
tuned headers;

diff -r a8fa53c086a4 -r 98b4a9902582 src/Pure/Admin/ci_build.scala
--- a/src/Pure/Admin/ci_build.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/Admin/ci_build.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Admin/ci_profile.scala
+/*  Title:      Pure/Admin/ci_build.scala
     Author:     Lars Hupel and Fabian Huch, TU Munich
 
 Build profile for continuous integration services.
diff -r a8fa53c086a4 -r 98b4a9902582 src/Pure/Admin/component_verit.scala
--- a/src/Pure/Admin/component_verit.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/Admin/component_verit.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Admin/component_csdp.scala
+/*  Title:      Pure/Admin/component_verit.scala
     Author:     Makarius
 
 Build Isabelle veriT component from official download.
diff -r a8fa53c086a4 -r 98b4a9902582 src/Pure/General/js.scala
--- a/src/Pure/General/js.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/General/js.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/json.scala
+/*  Title:      Pure/General/js.scala
     Author:     Makarius
 
 Support for JavaScript syntax.
diff -r a8fa53c086a4 -r 98b4a9902582 src/Pure/General/zstd.scala
--- a/src/Pure/General/zstd.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/General/zstd.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/xz.scala
+/*  Title:      Pure/General/zstd.scala
     Author:     Makarius
 
 Support for Zstd data compression.
diff -r a8fa53c086a4 -r 98b4a9902582 src/Pure/PIDE/byte_message.scala
--- a/src/Pure/PIDE/byte_message.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/PIDE/byte_message.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/byte_message.scala
+/*  Title:      Pure/PIDE/byte_message.scala
     Author:     Makarius
 
 Byte-oriented messages.
diff -r a8fa53c086a4 -r 98b4a9902582 src/Pure/System/isabelle_fonts.scala
--- a/src/Pure/System/isabelle_fonts.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/System/isabelle_fonts.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/System/isabelle_system.scala
+/*  Title:      Pure/System/isabelle_fonts.scala
     Author:     Makarius
 
 Fonts from the Isabelle system environment, notably the "Isabelle DejaVu"
diff -r a8fa53c086a4 -r 98b4a9902582 src/Pure/Tools/flarum.scala
--- a/src/Pure/Tools/flarum.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/Tools/flarum.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/flarum.scala
+/*  Title:      Pure/Tools/flarum.scala
     Author:     Makarius
 
 Support for Flarum forum server: https://flarum.org
diff -r a8fa53c086a4 -r 98b4a9902582 src/Tools/jEdit/jedit_main/isabelle_sidekick.scala
--- a/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Tools/jEdit/src/isabelle_sidekick.scala
+/*  Title:      Tools/jEdit/jedit_main/isabelle_sidekick.scala
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 
diff -r a8fa53c086a4 -r 98b4a9902582 src/Tools/jEdit/src/jedit_main.scala
--- a/src/Tools/jEdit/src/jedit_main.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Tools/jEdit/src/jedit_main.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      src/Tools/jEdit/src/jedit_main.scala
+/*  Title:      Tools/jEdit/src/jedit_main.scala
     Author:     Makarius
 
 Main application entry point for Isabelle/jEdit.
diff -r a8fa53c086a4 -r 98b4a9902582 src/Tools/jEdit/src/jedit_plugins.scala
--- a/src/Tools/jEdit/src/jedit_plugins.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Tools/jEdit/src/jedit_plugins.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Tools/jEdit/src/jedit_plugin.scala
+/*  Title:      Tools/jEdit/src/jedit_plugins.scala
     Author:     Makarius
 
 Isabelle/jEdit plugins via dynamic Isabelle/Scala/Java modules.