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 63805 c272680df665
parent 63788 3160826b92f8
child 63823 ca8b737b08cf 
--- a/src/Pure/build-jars	Mon Sep 05 21:09:50 2016 +0200
+++ b/src/Pure/build-jars	Mon Sep 05 22:09:52 2016 +0200
@@ -50,6 +50,7 @@
   General/timing.scala
   General/untyped.scala
   General/url.scala
+  General/value.scala
   General/word.scala
   General/xz_file.scala
   Isar/document_structure.scala
isabelle