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.
proper file headers;
authorwenzelm
Tue, 12 Mar 2024 15:58:40 +0100
changeset 79874 1e7b5a258bc5
parent 79873 6c19c29ddcbe
child 79876 3d02d5d4a43c
proper file headers;
src/Pure/Admin/component_windows_app.scala file | annotate | diff | comparison | revisions
src/Pure/Build/build_benchmark.scala file | annotate | diff | comparison | revisions 
--- 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.
--- 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.
isabelle