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 document text;
authorwenzelm
Thu, 24 Apr 2025 14:23:36 +0200
changeset 82580 cf506179fc4c
parent 82579 794014f7eeee
child 82581 0133fe6a1f55
tuned document text;
src/HOL/Codegenerator_Test/Generate_Target_Bit_Operations.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Codegenerator_Test/Generate_Target_Bit_Operations.thy	Thu Apr 24 12:23:37 2025 +0200
+++ b/src/HOL/Codegenerator_Test/Generate_Target_Bit_Operations.thy	Thu Apr 24 14:23:36 2025 +0200
@@ -59,7 +59,7 @@
 
 test_code check in Scala
 
-text \<open>Checking the index maximum for \<text>\<open>PolyML\<close>\<close>
+text \<open>Checking the index maximum for \<^verbatim>\<open>PolyML\<close>.\<close>
 
 qualified definition \<open>check_max = ()\<close>
isabelle