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.
proper executable file;
authorwenzelm
Thu, 16 Jan 2020 17:04:42 +0100
changeset 71391 5556ae257df9
parent 71390 5e7ba6aa85d7
child 71392 a3f7f00b4fd8
child 71394 933ad2385480
proper executable file;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/windows file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Jan 16 16:41:25 2020 +0100
+++ b/Admin/components/components.sha1	Thu Jan 16 17:04:42 2020 +0100
@@ -293,6 +293,7 @@
 89719a13bc92810730a430973684629426ed1b2a  sumatra_pdf-3.0.tar.gz
 f5afcc82f8e734665d38867e99475d3ad0d5ed15  sumatra_pdf-3.1.1.tar.gz
 a45eca5c1277f42f87bb8dc12a3074ccf5488221  sumatra_pdf-3.1.2-1.tar.gz
+3b3239b2e6f8062b90d819f3703e30a50f4fa1e7  sumatra_pdf-3.1.2-2.tar.gz
 8486387f61557147ec06b1f637117c017c8f0528  sumatra_pdf-3.1.2.tar.gz
 869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd  vampire-1.0.tar.gz
 399f687b56575b93e730f68c91c989cb48aa34d8  vampire-4.2.2.tar.gz
--- a/Admin/components/windows	Thu Jan 16 16:41:25 2020 +0100
+++ b/Admin/components/windows	Thu Jan 16 17:04:42 2020 +0100
@@ -1,2 +1,2 @@
 #components for "windows" platform family
-sumatra_pdf-3.1.2-1
+sumatra_pdf-3.1.2-2
isabelle