# HG changeset patch
# User wenzelm
# Date 1498762789 -7200
# Node ID f037cdaa5ca0cb84bb88c3bee2520f7efcfef27b
# Parent  a30bf1c755c1422cc77bd7c0c0dd8eca198ee88e
tuned spelling;

diff -r a30bf1c755c1 -r f037cdaa5ca0 src/Tools/VSCode/src/vscode_javascript.scala
--- a/src/Tools/VSCode/src/vscode_javascript.scala	Thu Jun 29 17:37:57 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_javascript.scala	Thu Jun 29 20:59:49 2017 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Tools/VSCode/src/build_html.scala
     Author:     Makarius
 
-JavaScript snipptes for VSCode HTML view.
+JavaScript snippets for VSCode HTML view.
 */
 
 package isabelle.vscode