# HG changeset patch
# User wenzelm
# Date 1504263444 -7200
# Node ID b884c42694e02197299ae983dace213848a31336
# Parent  e0e3065c63ba9174fc4d0bf1255b3583feb12aec
tuned headers;

diff -r e0e3065c63ba -r b884c42694e0 src/HOL/Factorial.thy
--- a/src/HOL/Factorial.thy	Fri Sep 01 12:54:31 2017 +0200
+++ b/src/HOL/Factorial.thy	Fri Sep 01 12:57:24 2017 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Factoiral.thy
+(*  Title:      HOL/Factorial.thy
     Author:     Jacques D. Fleuriot
     Author:     Lawrence C Paulson
     Author:     Jeremy Avigad
diff -r e0e3065c63ba -r b884c42694e0 src/Tools/VSCode/src/vscode_javascript.scala
--- a/src/Tools/VSCode/src/vscode_javascript.scala	Fri Sep 01 12:54:31 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_javascript.scala	Fri Sep 01 12:57:24 2017 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Tools/VSCode/src/build_html.scala
+/*  Title:      Tools/VSCode/src/vscode_javascript.scala
     Author:     Makarius
 
 JavaScript snippets for VSCode HTML view.