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/Pure/build-jars
changeset 65983 d8c5603c1732
parent 65977 c51b74be23b6
child 66096 6187612e83c1 
--- a/src/Pure/build-jars	Wed May 31 11:49:29 2017 +0200
+++ b/src/Pure/build-jars	Wed May 31 17:25:26 2017 +0200
@@ -167,8 +167,8 @@
   ../Tools/VSCode/src/channel.scala
   ../Tools/VSCode/src/document_model.scala
   ../Tools/VSCode/src/dynamic_output.scala
-  ../Tools/VSCode/src/dynamic_preview.scala
   ../Tools/VSCode/src/grammar.scala
+  ../Tools/VSCode/src/preview.scala
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala
   ../Tools/VSCode/src/vscode_rendering.scala
isabelle