--- 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 =