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 headers;
authorwenzelm
Fri, 01 Sep 2017 12:57:24 +0200
changeset 66589 b884c42694e0
parent 66588 e0e3065c63ba
child 66590 8e1aac4eed11
tuned headers;
src/HOL/Factorial.thy file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/vscode_javascript.scala file | annotate | diff | comparison | revisions 
--- 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
--- 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.
isabelle