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 whitespace;
authorwenzelm
Fri, 19 Jul 2024 11:28:25 +0200
changeset 80588 419576354249
parent 80587 12de235f8b92
child 80589 7849b6370425
tuned whitespace;
src/Pure/zterm.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/zterm.ML	Thu Jul 18 17:02:39 2024 +0200
+++ b/src/Pure/zterm.ML	Fri Jul 19 11:28:25 2024 +0200
@@ -1427,4 +1427,4 @@
 
 end;
 
-end;
\ No newline at end of file
+end;
isabelle