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.
Merge
authorpaulson <lp15@cam.ac.uk>
Thu, 19 Mar 2015 14:25:32 +0000
changeset 59752 11b22fe9a6f0
parent 59751 916c0f6c83e3 (current diff)
parent 59750 e8ac10713682 (diff)
child 59756 96abba46955f
child 59757 93d4169e07dc
Merge
--- a/Admin/components/components.sha1	Thu Mar 19 14:24:51 2015 +0000
+++ b/Admin/components/components.sha1	Thu Mar 19 14:25:32 2015 +0000
@@ -107,6 +107,7 @@
 601e08d048d8e50b0729429c8928b667d9b6bde9  sumatra_pdf-2.3.2.tar.gz
 14d46c2eb1a34821703da59d543433f581e91df3  sumatra_pdf-2.4.tar.gz
 44d67b6742919ce59a42368fc60e2afa210a3e42  sumatra_pdf-2.5.2.tar.gz
+89719a13bc92810730a430973684629426ed1b2a  sumatra_pdf-3.0.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 Mar 19 14:24:51 2015 +0000
+++ b/Admin/components/windows	Thu Mar 19 14:25:32 2015 +0000
@@ -1,2 +1,2 @@
 #components for "windows" platform family
-sumatra_pdf-2.5.2
+sumatra_pdf-3.0
isabelle