Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated sumatra_pdf;
authorwenzelm
Thu, 31 Dec 2015 13:12:47 +0100
changeset 62010 16d9748071ba
parent 62009 ecb5212d5885
child 62011 03e69b1bf359
updated sumatra_pdf;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/windows file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Dec 31 12:55:39 2015 +0100
+++ b/Admin/components/components.sha1	Thu Dec 31 13:12:47 2015 +0100
@@ -137,6 +137,7 @@
 14d46c2eb1a34821703da59d543433f581e91df3  sumatra_pdf-2.4.tar.gz
 44d67b6742919ce59a42368fc60e2afa210a3e42  sumatra_pdf-2.5.2.tar.gz
 89719a13bc92810730a430973684629426ed1b2a  sumatra_pdf-3.0.tar.gz
+f5afcc82f8e734665d38867e99475d3ad0d5ed15  sumatra_pdf-3.1.1.tar.gz
 869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd  vampire-1.0.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
--- a/Admin/components/windows	Thu Dec 31 12:55:39 2015 +0100
+++ b/Admin/components/windows	Thu Dec 31 13:12:47 2015 +0100
@@ -1,2 +1,2 @@
 #components for "windows" platform family
-sumatra_pdf-3.0
+sumatra_pdf-3.1.1
isabelle