Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_windows_app.scala
changeset 79874 1e7b5a258bc5
parent 79579 72cb42f2db0a
child 80224 db92e0b6a11a 
--- 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.
isabelle