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 output;
authorwenzelm
Sun, 23 Feb 2025 15:40:44 +0100
changeset 82223 706562be40fc
parent 82222 2a2bb5c1ec54
child 82224 979b63c3b4c1
tuned output;
src/Pure/Admin/component_find_facts_web.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_find_facts_web.scala	Thu Feb 20 21:58:23 2025 +0100
+++ b/src/Pure/Admin/component_find_facts_web.scala	Sun Feb 23 15:40:44 2025 +0100
@@ -103,8 +103,9 @@
 
 Sources can be found in $FIND_FACTS_HOME/web.
 
+
         Fabian Huch
-""")
+        """ + Date.Format.date(Date.now()) + "\n")
 
 
     /* pre-compiled web app */
isabelle