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.
added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff;
authorwenzelm
Sat, 11 Dec 2021 13:06:46 +0100
changeset 74919 115a47a103aa
parent 74909 0dd4dbe7bed3
child 74920 9a2958ec9e08
added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Dec 11 11:17:36 2021 +0100
+++ b/Admin/components/components.sha1	Sat Dec 11 13:06:46 2021 +0100
@@ -7,6 +7,7 @@
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
 51e1e0f399e934020565b2301358452c0bcc8a5e  ProofGeneral-4.2-2.tar.gz
 8472221c876a430cde325841ce52893328302712  ProofGeneral-4.2.tar.gz
+ce750fb7f26f6f51c03c6e78096a57b8eaf11d21  apache-commons-20211211.tar.gz
 fbe83b522cb37748ac1b3c943ad71704fdde2f82  bash_process-1.1.1.tar.gz
 bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
 81250148f8b89ac3587908fb20645081d7f53207  bash_process-1.2.1.tar.gz
--- a/Admin/components/main	Sat Dec 11 11:17:36 2021 +0100
+++ b/Admin/components/main	Sat Dec 11 13:06:46 2021 +0100
@@ -1,5 +1,6 @@
 #main components for repository clones or release bundles
 gnu-utils-20211030
+apache-commons-20211211
 bash_process-1.2.4-2
 bib2xhtml-20190409
 csdp-6.1.1
isabelle