# HG changeset patch
# User wenzelm
# Date 1710255520 -3600
# Node ID 1e7b5a258bc5062c5bb0ad83004b807d983dd5c5
# Parent  6c19c29ddcbeed12d1c0903944fd4313c1c2fd73
proper file headers;

diff -r 6c19c29ddcbe -r 1e7b5a258bc5 src/Pure/Admin/component_windows_app.scala
--- a/src/Pure/Admin/component_windows_app.scala	Tue Mar 12 15:57:25 2024 +0100
+++ b/src/Pure/Admin/component_windows_app.scala	Tue Mar 12 15:58:40 2024 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Admin/windows_app.scala
+/*  Title:      Pure/Admin/component_windows_app.scala
     Author:     Makarius
 
 Build Isabelle windows_app component from GNU binutils and launch4j.
diff -r 6c19c29ddcbe -r 1e7b5a258bc5 src/Pure/Build/build_benchmark.scala
--- a/src/Pure/Build/build_benchmark.scala	Tue Mar 12 15:57:25 2024 +0100
+++ b/src/Pure/Build/build_benchmark.scala	Tue Mar 12 15:58:40 2024 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/System/build_benchmark.scala
+/*  Title:      Pure/Build/build_benchmark.scala
     Author:     Fabian Huch, TU Muenchen
 
 Host platform benchmarks for performance estimation.