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 bib2xhtml-20190409: current repository clone;
authorwenzelm
Tue, 09 Apr 2019 14:17:29 +0200
changeset 70085 23c0dfa39dce
parent 70084 f9d8f78ef687
child 70090 10fe23659be3
child 70098 956d2430cb29
updated to bib2xhtml-20190409: current repository clone;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Apr 09 11:24:47 2019 +0200
+++ b/Admin/components/components.sha1	Tue Apr 09 14:17:29 2019 +0200
@@ -12,6 +12,7 @@
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
+4085dd6060a32d7e0d2e3f874c463a9964fd409b  bib2xhtml-20190409.tar.gz
 f92cff635dfba5d4d77f469307369226c868542c  cakeml-2.0.tar.gz
 e7ffe4238b61a3c1ee87aca4421e7a612e09b836  ci-extras-1.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
--- a/Admin/components/main	Tue Apr 09 11:24:47 2019 +0200
+++ b/Admin/components/main	Tue Apr 09 14:17:29 2019 +0200
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.2
-bib2xhtml-20171221
+bib2xhtml-20190409
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2
isabelle