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 to Sumatra PDF 2.4;
authorwenzelm
Fri, 06 Dec 2013 22:35:51 +0100
changeset 54684 4820b645e760
parent 54683 cf48ddc266e5
child 54685 a9c9792e87a5
updated to Sumatra PDF 2.4; prefer option -reuse-instance; PDF_VIEWER refers to program, not command-line;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/windows file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Dec 06 22:10:45 2013 +0100
+++ b/Admin/components/components.sha1	Fri Dec 06 22:35:51 2013 +0100
@@ -64,6 +64,7 @@
 43b5afbcad575ab6817d2289756ca22fd2ef43a9  spass-3.8ds.tar.gz
 1f4a2053cc1f34fa36c4d9d2ac906ad4ebc863fd  sumatra_pdf-2.1.1.tar.gz
 601e08d048d8e50b0729429c8928b667d9b6bde9  sumatra_pdf-2.3.2.tar.gz
+14d46c2eb1a34821703da59d543433f581e91df3  sumatra_pdf-2.4.tar.gz
 869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd  vampire-1.0.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
--- a/Admin/components/windows	Fri Dec 06 22:10:45 2013 +0100
+++ b/Admin/components/windows	Fri Dec 06 22:35:51 2013 +0100
@@ -1,2 +1,2 @@
 #components for "windows" platform family
-sumatra_pdf-2.3.2
+sumatra_pdf-2.4
isabelle