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.
Admin/components/windows
changeset 71388 57861bd0a3e1
parent 63991 0d8cd1f3c26d
child 71391 5556ae257df9 
--- a/Admin/components/windows	Thu Jan 16 15:34:55 2020 +0100
+++ b/Admin/components/windows	Thu Jan 16 16:15:25 2020 +0100
@@ -1,2 +1,2 @@
 #components for "windows" platform family
-sumatra_pdf-3.1.2
+sumatra_pdf-3.1.2-1
isabelle