Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned spelling;
authorwenzelm
Thu, 29 Jun 2017 20:59:49 +0200
changeset 66219 f037cdaa5ca0
parent 66218 a30bf1c755c1
child 66220 68671cc5d40a
tuned spelling;
src/Tools/VSCode/src/vscode_javascript.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle