# HG changeset patch
# User wenzelm
# Date 1646657109 -3600
# Node ID 240cb0cfba5c0a95d1a60155341e8aaad34ecf5e
# Parent  d647f6b74744510d4cf3d62807a34522f5bad374
tuned comments;
tuned imports;

diff -r d647f6b74744 -r 240cb0cfba5c src/Tools/VSCode/extension/src/symbol.ts
--- a/src/Tools/VSCode/extension/src/symbol.ts	Mon Mar 07 12:40:36 2022 +0100
+++ b/src/Tools/VSCode/extension/src/symbol.ts	Mon Mar 07 13:45:09 2022 +0100
@@ -1,11 +1,14 @@
 /*  Author:     Makarius
 
-Isabelle text symbols (see Pure/General/symbol.scala).
+Isabelle text symbols versus UTF-8/Unicode encoding. See also:
+
+  - Pure/General/symbol.scala
+  - Pure/General/utf8.scala
+  - https://encoding.spec.whatwg.org
 */
 
 'use strict';
 
-import * as library from './library'
 import * as file from './file'