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 comments;
authorwenzelm
Thu, 03 Nov 2022 14:50:43 +0100
changeset 76411 cc3911b11b53
parent 76410 687fb18e805c
child 76412 3f16fc68f0f0
tuned comments;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Thu Nov 03 12:54:57 2022 +0100
+++ b/src/Pure/Isar/toplevel.ML	Thu Nov 03 14:50:43 2022 +0100
@@ -270,7 +270,7 @@
   Init of unit -> theory |
   (*formal exit of theory*)
   Exit |
-  (*peek at state*)
+  (*keep state unchanged*)
   Keep of bool -> presentation |
   (*node transaction and presentation*)
   Transaction of (bool -> node -> node_presentation) * presentation;
isabelle