# HG changeset patch
# User wenzelm
# Date 1646232368 -3600
# Node ID 75695a5048229bd2cd65dab9915eed400d1cf791
# Parent  01017b938135548c6b520e7f23db9434d4841f17
tuned comments;

diff -r 01017b938135 -r 75695a504822 src/Tools/VSCode/extension/src/library.ts
--- a/src/Tools/VSCode/extension/src/library.ts	Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/library.ts	Wed Mar 02 15:46:08 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Makarius
+
+Basic library (see Pure/library.scala).
+*/
+
 'use strict';
 
 import * as platform from './platform'
diff -r 01017b938135 -r 75695a504822 src/Tools/VSCode/extension/src/platform.ts
--- a/src/Tools/VSCode/extension/src/platform.ts	Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/platform.ts	Wed Mar 02 15:46:08 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Makarius
+
+System platform identification (see Pure/System/platform.scala).
+*/
+
 'use strict';
 
 import * as os from 'os'
diff -r 01017b938135 -r 75695a504822 src/Tools/VSCode/extension/src/symbol.ts
--- a/src/Tools/VSCode/extension/src/symbol.ts	Wed Mar 02 15:28:02 2022 +0100
+++ b/src/Tools/VSCode/extension/src/symbol.ts	Wed Mar 02 15:46:08 2022 +0100
@@ -1,3 +1,8 @@
+/*  Author:     Makarius
+
+Isabelle text symbols (see Pure/General/symbol.scala).
+*/
+
 'use strict';
 
 import * as library from './library'