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 isabelle_fonts;
authorwenzelm
Tue, 29 Dec 2015 21:54:18 +0100
changeset 61965 a35d141e6c75
parent 61964 37a0cbee00c2
child 61966 e90c42077767
updated isabelle_fonts;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Dec 29 21:51:58 2015 +0100
+++ b/Admin/components/components.sha1	Tue Dec 29 21:54:18 2015 +0100
@@ -36,6 +36,7 @@
 736844204b2ef83974cd9f0a215738b767958c41  isabelle_fonts-20151104.tar.gz
 9502c1aea938021f154adadff254c5c55da344bd  isabelle_fonts-20151106.tar.gz
 f5c63689a394b974ac0d365debda577c6fa31c07  isabelle_fonts-20151107.tar.gz
+812101680b75f7fa9ee8e138ea6314fa4824ea2d  isabelle_fonts-20151229.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
--- a/Admin/components/main	Tue Dec 29 21:51:58 2015 +0100
+++ b/Admin/components/main	Tue Dec 29 21:54:18 2015 +0100
@@ -4,7 +4,7 @@
 e-1.8
 exec_process-1.0.3
 Haskabelle-2015
-isabelle_fonts-20151107
+isabelle_fonts-20151229
 jdk-8u66
 jedit_build-20151124
 jfreechart-1.0.14-1
isabelle