# HG changeset patch
# User wenzelm
# Date 1629647547 -7200
# Node ID 86163ea20e77a2bb43560446f96e5e45ae7cacd9
# Parent  7b93dc3f2b34d4efb1514d55b2fa37edaa4dae5a
tuned comments;

diff -r 7b93dc3f2b34 -r 86163ea20e77 src/Pure/General/position.ML
--- a/src/Pure/General/position.ML	Sun Aug 22 11:47:37 2021 +0200
+++ b/src/Pure/General/position.ML	Sun Aug 22 17:52:27 2021 +0200
@@ -1,7 +1,9 @@
 (*  Title:      Pure/General/position.ML
-    Author:     Markus Wenzel, TU Muenchen
+    Author:     Makarius
 
-Source positions: counting Isabelle symbols, starting from 1.
+Source positions starting from 1; values <= 0 mean "absent". Count Isabelle
+symbols, not UTF8 bytes nor UTF16 characters. Position range specifies a
+right-open interval offset .. end_offset (exclusive).
 *)
 
 signature POSITION =