# HG changeset patch
# User wenzelm
# Date 1667483443 -3600
# Node ID cc3911b11b53db6f74c54a57b3f994ca002d48ff
# Parent  687fb18e805c67956503151052c623c14b0b797a
tuned comments;

diff -r 687fb18e805c -r cc3911b11b53 src/Pure/Isar/toplevel.ML
--- 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;