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 64000 445b3deced8f
parent 63997 e11ccb5aa82f
child 64021 1e23caac8757 
--- a/src/Pure/build-jars	Sun Oct 02 21:05:14 2016 +0200
+++ b/src/Pure/build-jars	Sun Oct 02 22:05:40 2016 +0200
@@ -54,7 +54,7 @@
   General/url.scala
   General/value.scala
   General/word.scala
-  General/xz_file.scala
+  General/xz.scala
   Isar/document_structure.scala
   Isar/keyword.scala
   Isar/line_structure.scala
isabelle