Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/src/build_vscode.scala
changeset 65367 83c30e290702
parent 65251 4b0a43afc3fb
child 66070 65a68dcd95c3 
--- a/src/Tools/VSCode/src/build_vscode.scala	Tue Apr 04 11:52:28 2017 +0200
+++ b/src/Tools/VSCode/src/build_vscode.scala	Tue Apr 04 15:05:00 2017 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Admin/build_vscode.scala
+/*  Title:      Tools/VSCode/src/build_vscode.scala
     Author:     Makarius
 
 Build VSCode configuration and extension module for Isabelle.
isabelle