# HG changeset patch
# User desharna
# Date 1648551325 -7200
# Node ID 84c88a274ffd71d2c57f3b0d2820b410d4e1acbe
# Parent 83940294cc670eaae7cd8dde679942d5192a34ae# Parent 4b8da5eef9d0b3d061242762b89a6ff5468b3d03
merged
diff -r 83940294cc67 -r 84c88a274ffd Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml Mon Mar 28 17:16:42 2022 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml Tue Mar 29 12:55:25 2022 +0200
@@ -15,7 +15,7 @@
{ICON}
- isabelle.jedit.Main
+ isabelle.jedit.JEdit_Main
{CLASSPATH}
diff -r 83940294cc67 -r 84c88a274ffd Admin/components/components.sha1
--- a/Admin/components/components.sha1 Mon Mar 28 17:16:42 2022 +0200
+++ b/Admin/components/components.sha1 Tue Mar 29 12:55:25 2022 +0200
@@ -1,482 +1,486 @@
-59a71e08c34ff01f3f5c4af00db5e16369527eb7 Haskabelle-2013.tar.gz
-23a96ff4951d72f4024b6e8843262eda988bc151 Haskabelle-2014.tar.gz
-eccff31931fb128c1dd522cfc85495c9b66e67af Haskabelle-2015.tar.gz
-ed740867925dcf58692c8d3e350c28e3b4d4a60f Isabelle_app-20210126.tar.gz
-8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz
-847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz
-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
-97b2491382130a841b3bbaebdcf8720c4d4fb227 bash_process-1.2.2.tar.gz
-5c5b7c18cc1dc2a4d22b997dac196da09eaca868 bash_process-1.2.3-1.tar.gz
-48b01bd9436e243ffcb7297f08b498d0c0875ed9 bash_process-1.2.3.tar.gz
-11815d5f3af0de9022e903ed8702c136591f06fe bash_process-1.2.4-1.tar.gz
-729486311833e4eff0fbf2d8041dddad520ca88c bash_process-1.2.4-2.tar.gz
-7ae9ec8aab2d8a811842d9dc67d8bf6c179e11ee bash_process-1.2.4.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
-e880f31f59bd403fb72fcd3b5afb413c3831a21c csdp-6.1-1.tar.gz
-2659100ba8e28e7cb0ecb554178ee5315d4a87f5 csdp-6.1.1.tar.gz
-a2bd94f4f9281dc70dfda66cf28016c2ffef7ed7 csdp-6.1.tar.gz
-ec17080269737e4a97b4424a379924c09b338ca2 csdp-6.2.0.tar.gz
-70105fd6fbfd1a868383fc510772b95234325d31 csdp-6.x.tar.gz
-2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7 cvc3-2.4.1.tar.gz
-d70bfbe63590153c07709dea7084fbc39c669841 cvc4-1.5-1.tar.gz
-541eac340464c5d34b70bb163ae277cc8829c40f cvc4-1.5-2.tar.gz
-1a44895d2a440091a15cc92d7f77a06a2e432507 cvc4-1.5-3.tar.gz
-c0d8d5929b00e113752d8bf5d11241cd3bccafce cvc4-1.5-4.tar.gz
-ffb0d4739c10eb098eb092baef13eccf94a79bad cvc4-1.5-5.tar.gz
-3682476dc5e915cf260764fa5b86f1ebdab57507 cvc4-1.5.tar.gz
-a5e02b5e990da4275dc5d4480c3b72fc73160c28 cvc4-1.5pre-1.tar.gz
-4d9658fd2688ae8ac78da8fdfcbf85960f871b71 cvc4-1.5pre-2.tar.gz
-b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9 cvc4-1.5pre-3.tar.gz
-76ff6103b8560f0e2778bbfbdb05f5fa18f850b7 cvc4-1.5pre-4.tar.gz
-03aec2ec5757301c9df149f115d1f4f1d2cafd9e cvc4-1.5pre.tar.gz
-e99560d0b7cb9bafde2b0ec1a3a95af315918a25 cvc4-1.8.tar.gz
-842d9526f37b928cf9e22f141884365129990d63 cygwin-20130110.tar.gz
-cb3b0706d208f104b800267697204f6d82f7b48a cygwin-20130114.tar.gz
-3b44cca04855016d5f8cfb5101b2e0579ab80197 cygwin-20130117.tar.gz
-1fde9ddf0fa4f398965113d0c0c4f0e97c78d008 cygwin-20130716.tar.gz
-a03735a53c2963eb0b453f6a7282d3419f28bf38 cygwin-20130916.tar.gz
-7470125fc46e24ee188bdaacc6d560e01b6fa839 cygwin-20140520.tar.gz
-db4dedae026981c5f001be283180abc1962b79ad cygwin-20140521.tar.gz
-acbc4bf161ad21e96ecfe506266ccdbd288f8a6f cygwin-20140530.tar.gz
-3dc680d9eb85276e8c3e9f6057dad0efe2d5aa41 cygwin-20140626.tar.gz
-8e562dfe57a2f894f9461f4addedb88afa108152 cygwin-20140725.tar.gz
-238d8e30e8e22495b7ea3f5ec36e852e97fe8bbf cygwin-20140813.tar.gz
-629b8fbe35952d1551cd2a7ff08db697f6dff870 cygwin-20141024.tar.gz
-ce93d0b3b2743c4f4e5bba30c2889b3b7bc22f2c cygwin-20150410.tar.gz
-fa712dd5ec66ad16add1779d68aa171ff5694064 cygwin-20151210.tar.gz
-056b843d5a3b69ecf8a52c06f2ce6e696dd275f9 cygwin-20151221.tar.gz
-44f3a530f727e43a9413226c2423c9ca3e4c0cf5 cygwin-20161002.tar.gz
-dd56dd16d861fc6e1a008bf5e9da6f33ed6eb820 cygwin-20161022.tar.gz
-d9ad7aae99d54e3b9813151712eb88a441613f04 cygwin-20161024.tar.gz
-f8eb6a0f722e3cfe3775d1204c5c7063ee1f008e cygwin-20170828.tar.gz
-c22048912b010a5a0b4f2a3eb4d318d6953761e4 cygwin-20170930.tar.gz
-5a3919e665947b820fd7f57787280c7512be3782 cygwin-20180604.tar.gz
-2aa049170e8088de59bd70eed8220f552093932d cygwin-20190320.tar.gz
-fb898e263fcf6f847d97f564fe49ea0760bb453f cygwin-20190322.tar.gz
-cd01fac0ab4fdb50a2bbb6416da3f15a4d540da1 cygwin-20190524.tar.gz
-caa616fbab14c1fce790a87db5c4758c1322cf28 cygwin-20200116.tar.gz
-f053a9ab01f0be9cb456560f7eff66a8e7ba2fd2 cygwin-20200323.tar.gz
-0107343cd2562618629f73b2581168f0045c3234 cygwin-20201002.tar.gz
-a3d481401b633c0ee6abf1da07d75da94076574c cygwin-20201130.tar.gz
-5b1820b87b25d8f2d237515d9854e3ce54ee331b cygwin-20211002.tar.gz
-5dff30be394d88dd83ea584fa6f8063bdcdc21fd cygwin-20211004.tar.gz
-fffaae24da4d274d34b8dc79a76b478b87ec31dd cygwin-20211007.tar.gz
-0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
-2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
-e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
-b98a98025d1f7e560ca6864a53296137dae736b4 e-1.6.tar.gz
-c11b25c919e2ec44fe2b6ac2086337b456344e97 e-1.8.tar.gz
-a895a96ec7e6fcc275114bb9b4c92b20fac73dba e-2.0-1.tar.gz
-2ebd7e3067a2cdae3cb8b073345827013978d74b e-2.0-2.tar.gz
-fac44556dd16f666a2c186be30aa6d8c67228bb9 e-2.0-3.tar.gz
-5d36fb62912cfcff7f3b99a6266c578aafc288b7 e-2.0-4.tar.gz
-3223c51c0b16fe00ced4ae903041fff858e61742 e-2.0-5.tar.gz
-6b962a6b4539b7ca4199977973c61a8c98a492e8 e-2.0.tar.gz
-66449a7b68b7d85a7189e10735a81069356123b6 e-2.5-1.tar.gz
-813b66ca151d7a39b5cacb39ab52acabc2a54845 e-2.5.tar.gz
-6e63f9f354b8c06035952845b987080699a12d55 e-2.6-1.tar.gz
-a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
-6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
-8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
-e6aada354da11e533af2dee3dcdd96c06479b053 exec_process-1.0.3.tar.gz
-ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz
-7a4b46752aa60c1ee6c53a2c128dedc8255a4568 flatlaf-0.46-1.tar.gz
-ed5cbc216389b655dac21a19e770a02a96867b85 flatlaf-0.46.tar.gz
-d37b38b9a27a6541c644e22eeebe9a339282173d flatlaf-1.0-rc1.tar.gz
-dac46ce81cee10fb36a9d39b414dec7b7b671545 flatlaf-1.0-rc2.tar.gz
-d94e6da7299004890c04a7b395a3f2d381a3281e flatlaf-1.0-rc3.tar.gz
-7ca3e6a8c9bd837990e64d89e7fa07a7e7cf78ff flatlaf-1.0.tar.gz
-9908e5ab721f1c0035c0ab04dc7ad0bd00a8db27 flatlaf-1.2.tar.gz
-9534b721b7b78344f3225067ee4df28a5440b87e flatlaf-1.6.4.tar.gz
-212a0f1f867511722024cc60156fd71872a16f92 flatlaf-1.6.tar.gz
-f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
-71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
-683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
-989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
-20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
-736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
-9502c1aea938021f154adadff254c5c55da344bd isabelle_fonts-20151106.tar.gz
-f5c63689a394b974ac0d365debda577c6fa31c07 isabelle_fonts-20151107.tar.gz
-812101680b75f7fa9ee8e138ea6314fa4824ea2d isabelle_fonts-20151229.tar.gz
-2730e1475c7d655655882e75743e0b451725a274 isabelle_fonts-20151231.tar.gz
-1f004a6bf20088a7e8f1b3d4153aa85de6fc1091 isabelle_fonts-20160101.tar.gz
-379d51ef3b71452dac34ba905def3daa8b590f2e isabelle_fonts-20160102.tar.gz
-878536aab1eaf1a52da560c20bb41ab942971fa3 isabelle_fonts-20160227.tar.gz
-8ff0eedf0191d808ecc58c6b3149a4697f29ab21 isabelle_fonts-20160812-1.tar.gz
-9283e3b0b4c7239f57b18e076ec8bb21021832cb isabelle_fonts-20160812.tar.gz
-620cffeb125e198b91a716da116f754d6cc8174b isabelle_fonts-20160830.tar.gz
-b70690c85c05d0ca5bc29287abd20142f6ddcfb0 isabelle_fonts-20171222.tar.gz
-c17c482e411bbaf992498041a3e1dea80336aaa6 isabelle_fonts-20171230.tar.gz
-3affbb306baff37c360319b21cbaa2cc96ebb282 isabelle_fonts-20180113.tar.gz
-bee32019e5d7cf096ef2ea1d836c732e9a7628cc isabelle_fonts-20181124.tar.gz
-f249bc2c85bd2af9eee509de17187a766b74ab86 isabelle_fonts-20181129.tar.gz
-928b5320073d04d93bcc5bc4347b6d01632b9d45 isabelle_fonts-20190210.tar.gz
-dfcdf9a757b9dc36cee87f82533b43c58ba84abe isabelle_fonts-20190309.tar.gz
-95e3acf038df7fdeeacd8b4769930e6f57bf3692 isabelle_fonts-20190406.tar.gz
-dabcf5085d67c99159007007ff0e9bf775e423d1 isabelle_fonts-20190409.tar.gz
-76827987c70051719e117138858930d42041f57d isabelle_fonts-20190717.tar.gz
-abc8aea3ae471f9313917008ac90e5c1c99e17da isabelle_fonts-20210317.tar.gz
-3ff9195aab574fc75ca3b77af0adb33f9b6d7b74 isabelle_fonts-20210318.tar.gz
-b166b4bd583b6442a5d75eab06f7adbb66919d6d isabelle_fonts-20210319.tar.gz
-9467ad54a9ac10a6e7e8db5458d8d2a5516eba96 isabelle_fonts-20210321.tar.gz
-1f7a0b9829ecac6552b21e995ad0f0ac168634f3 isabelle_fonts-20210322.tar.gz
-667000ce6dd6ea3c2d11601a41c206060468807d isabelle_fonts-20211004.tar.gz
-916adccd2f40c55116b68b92ce1eccb24d4dd9a2 isabelle_setup-20210630.tar.gz
-c611e363287fcc9bdd93c33bef85fa4e66cd3f37 isabelle_setup-20210701.tar.gz
-a0e7527448ef0f7ce164a38a50dc26e98de3cad6 isabelle_setup-20210709.tar.gz
-e413706694b0968245ee15183af2d464814ce0a4 isabelle_setup-20210711.tar.gz
-d2c9fd7b73457a460111edd6eb93a133272935fb isabelle_setup-20210715.tar.gz
-a5f478ba1088f67c2c86dc2fa7764b6d884e5ae5 isabelle_setup-20210716-1.tar.gz
-79fad009cb22aa5e7cb4aed3c810ad5f61790293 isabelle_setup-20210716.tar.gz
-692a39f716998e556ec9559c9ca362fc8fc9d5b6 isabelle_setup-20210717-1.tar.gz
-7322d6d84d75c486a58ed36630431db4499e3232 isabelle_setup-20210717-2.tar.gz
-14f8508bcae9140815bb23e430e26d2cbc504b81 isabelle_setup-20210717.tar.gz
-ca801d5c380ea896ee32b309ff19ae5f34538963 isabelle_setup-20210718.tar.gz
-ac9739e38e4fbbfce1a71a0987a57b22f83922d3 isabelle_setup-20210724-1.tar.gz
-4554679cc8ea31e539655810a14d14216b383d0e isabelle_setup-20210724-2.tar.gz
-127a75ae33e97480d352087fcb9b47a632d77169 isabelle_setup-20210724.tar.gz
-309909ec6d43ae460338e9af54c1b2a48adcb1ec isabelle_setup-20210726.tar.gz
-a14ce46c62c64c3413f3cc9239242e33570d0f3d isabelle_setup-20210922.tar.gz
-b22066a9dcde6f813352dcf6404ac184440a22df isabelle_setup-20211109.tar.gz
-0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
-e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
-3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
-06ac8993b5bebd02c70f1bd18ce13075f01115f3 jdk-11.0.3+7.tar.gz
-e7e3cc9b0550c1e5d71197ad8c30f92b622d7183 jdk-11.0.4+11.tar.gz
-49007a84a2643a204ce4406770dfd574b97880d9 jdk-11.0.5+10.tar.gz
-3c250e98eb82f98afc6744ddc9170d293f0677e1 jdk-11.0.6+10.tar.gz
-76cf7a141e15db30bd975089c65c833b58092aa7 jdk-11.0.9+11.tar.gz
-71d19df63816e9be1c4c5eb44aea7a44cfadb319 jdk-11.tar.gz
-72455a2fdb6cced9cd563f4d5d6134f7a6c34913 jdk-15.0.1+9.tar.gz
-e8ae300e61b0b121018456d50010b555bc96ce10 jdk-15.0.2+7.tar.gz
-a426a32ad34014953c0f7d4cc6f44199572e1c38 jdk-17+35.tar.gz
-85707cfe369d0d32accbe3d96a0730c87e8639b5 jdk-17.0.1+12.tar.gz
-699ab2d723b2f1df151a7dbcbdf33ddad36c7978 jdk-17.0.2+8.tar.gz
-8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
-38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
-d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
-13a265e4b706ece26fdfa6fc9f4a3dd1366016d2 jdk-7u21.tar.gz
-5080274f8721a18111a7f614793afe6c88726739 jdk-7u25.tar.gz
-dd24d63afd6d17b29ec9cb2b2464d4ff2e02de2c jdk-7u40.tar.gz
-ec740ee9ffd43551ddf1e5b91641405116af6291 jdk-7u6.tar.gz
-71b629b2ce83dbb69967c4785530afce1bec3809 jdk-7u60.tar.gz
-e119f4cbfa2a39a53b9578d165d0dc44b59527b7 jdk-7u65.tar.gz
-d6d1c42989433839fe64f34eb77298ef6627aed4 jdk-7u67.tar.gz
-b66039bc6dc2bdb2992133743005e1e4fc58ae24 jdk-7u72.tar.gz
-d980055694ddfae430ee001c7ee877d535e97252 jdk-7u76.tar.gz
-baa6de37bb6f7a104ce5fe6506bca3d2572d601a jdk-7u80.tar.gz
-7d5b152ac70f720bb9e783fa45ecadcf95069584 jdk-7u9.tar.gz
-baf275a68d3f799a841932e4e9a95a1a604058ae jdk-8u102.tar.gz
-5442f1015a0657259be0590b04572cd933431df7 jdk-8u11.tar.gz
-741de6a4a805a0f9fb917d1845409e99346c2747 jdk-8u112.tar.gz
-ae7df8bd0c18eb40237cf54cc28933f4893b9c92 jdk-8u121.tar.gz
-51531a3a0c16e180ed95cb7d2bd680c2ec0aa553 jdk-8u131.tar.gz
-e45edcf184f608d6f4a7b966d65a5d3289462693 jdk-8u144.tar.gz
-264e806b9300a4fb3b6e15ba0e2c664d4ea698c8 jdk-8u152.tar.gz
-84b04d877a2ea3a4e2082297b540e14f76722bc5 jdk-8u162.tar.gz
-87303a0de3fd595aa3857c8f7cececa036d6ed18 jdk-8u172.tar.gz
-9ae0338a5277d8749b4b4c7e65fc627319d98b27 jdk-8u181.tar.gz
-cfecb1383faaf027ffbabfcd77a0b6a6521e0969 jdk-8u20.tar.gz
-44ffeeae219782d40ce6822b580e608e72fd4c76 jdk-8u31.tar.gz
-c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4 jdk-8u5.tar.gz
-4132cf52d5025bf330d53b96a5c6466fef432377 jdk-8u51.tar.gz
-74df343671deba03be7caa49de217d78b693f817 jdk-8u60.tar.gz
-dfb087bd64c3e5da79430e0ba706b9abc559c090 jdk-8u66.tar.gz
-2ac389babd15aa5ddd1a424c1509e1c459e6fbb1 jdk-8u72.tar.gz
-caa0cf65481b6207f66437576643f41dabae3c83 jdk-8u92.tar.gz
-778fd85c827ec49d2d658a832d20e63916186b0d jedit-20210715.tar.gz
-beb99f2cb0bd4e595c5c597d3970c46aa21616e4 jedit-20210717.tar.gz
-33dd96cd83f2c6a26c035b7a0ee57624655224c5 jedit-20210724.tar.gz
-0e4fd4d66388ddc760fa5fbd8d4a9a3b77cf59c7 jedit-20210802.tar.gz
-258d527819583d740a3aa52dfef630eed389f8c6 jedit-20211019.tar.gz
-f4f3fcbd54488297a5d2fcd23a2595912d5ba80b jedit-20211103.tar.gz
-44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
-a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
-4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
-9c221fe71af8a063fcffcce21672a97aea0a8d5b jedit_build-20120313.tar.gz
-ed72630f307729df08fdedb095f0af8725f81b9c jedit_build-20120327.tar.gz
-6425f622625024c1de27f3730d6811f6370a19cd jedit_build-20120414.tar.gz
-7b012f725ec1cc102dc259df178d511cc7890bba jedit_build-20120813.tar.gz
-8e1d36f5071e3def2cb281f7fefe9f52352cb88f jedit_build-20120903.tar.gz
-8fa0c67f59beba369ab836562eed4e56382f672a jedit_build-20121201.tar.gz
-06e9be2627ebb95c45a9bcfa025d2eeef086b408 jedit_build-20130104.tar.gz
-c85c0829b8170f25aa65ec6852f505ce2a50639b jedit_build-20130628.tar.gz
-5de3e399be2507f684b49dfd13da45228214bbe4 jedit_build-20130905.tar.gz
-87136818fd5528d97288f5b06bd30c787229eb0d jedit_build-20130910.tar.gz
-c63189cbe39eb8104235a0928f579d9523de78a9 jedit_build-20130925.tar.gz
-65cc13054be20d3a60474d406797c32a976d7db7 jedit_build-20130926.tar.gz
-30ca171f745adf12b65c798c660ac77f9c0f9b4b jedit_build-20131106.tar.gz
-054c1300128f8abd0f46a3e92c756ccdb96ff2af jedit_build-20140405.tar.gz
-4a963665537ea66c69de4d761846541ebdbf69f2 jedit_build-20140511.tar.gz
-a9d637a30f6a87a3583f265da51e63e3619cff52 jedit_build-20140722.tar.gz
-f29391c53d85715f8454e1aaa304fbccc352928f jedit_build-20141018.tar.gz
-d7206d4c9d14d3f4c8115422b7391ffbcc6e80b4 jedit_build-20141026.tar.gz
-f15d36abc1780875a46b6dbd4568e43b776d5db6 jedit_build-20141104.tar.gz
-14ce124c897abfa23713928dc034d6ef0e1c5031 jedit_build-20150228.tar.gz
-b5f7115384c167559211768eb5fe98138864473b jedit_build-20151023.tar.gz
-8ba7b6791be788f316427cdcd805daeaa6935190 jedit_build-20151124.tar.gz
-c70c5a6c565d435a09a8639f8afd3de360708e1c jedit_build-20160330.tar.gz
-d4e1496c257659cf15458d718f4663cdd95a404e jedit_build-20161024.tar.gz
-d806c1c26b571b5b4ef05ea11e8b9cf936518e06 jedit_build-20170319.tar.gz
-7bcb202e13358dd750e964b2f747664428b5d8b3 jedit_build-20180417.tar.gz
-23c8a05687d05a6937f7d600ac3aa19e3ce59c9c jedit_build-20180504.tar.gz
-9c64ee0705e5284b507ca527196081979d689519 jedit_build-20181025.tar.gz
-cfa65bf8720b9b798ffa0986bafbc8437f44f758 jedit_build-20181026.tar.gz
-847492b75b38468268f9ea424d27d53f2d95cef4 jedit_build-20181203.tar.gz
-536a38ed527115b4bf2545a2137ec57b6ffad718 jedit_build-20190120.tar.gz
-58b9f03e5ec0b85f8123c31f5d8092dae5803773 jedit_build-20190130.tar.gz
-ec0aded5f2655e2de8bc4427106729e797584f2f jedit_build-20190224.tar.gz
-1e53598a02ec8d8736b15f480cbe2c84767a7827 jedit_build-20190508.tar.gz
-b9c6f49d3f6ebe2e85a50595ce7412d01a4314ac jedit_build-20190717.tar.gz
-1c753beb93e92e95e99e8ead23a68346bd1af44a jedit_build-20200610.tar.gz
-533b1ee6459f59bcbe4f09e214ad2cb990fb6952 jedit_build-20200908.tar.gz
-f9966b5ed26740bb5b8bddbfe947fcefaea43d4d jedit_build-20201223.tar.gz
-0bdbd36eda5992396e9c6b66aa24259d4dd7559c jedit_build-20210201.tar.gz
-a0744f1948abdde4bfb51dd4769b619e7444baf1 jedit_build-20210510-1.tar.gz
-837d6c8f72ecb21ad59a2544c69aadc9f05684c6 jedit_build-20210510.tar.gz
-7bdae3d24b10261f6cb277446cf9ecab6062bd6f jedit_build-20210708.tar.gz
-0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa jfreechart-1.0.14-1.tar.gz
-8122526f1fc362ddae1a328bdbc2152853186fee jfreechart-1.0.14.tar.gz
-d911f63a5c9b4c7335bb73f805cb1711ce017a84 jfreechart-1.5.0.tar.gz
-d84b7d8ef273afec55284327fca7dd20f5ecb77a jfreechart-1.5.1.tar.gz
-6fa0c221ef55919b684449f0111a8112358e94ff jfreechart-1.5.3.tar.gz
-c8a19a36adf6cefa779d85f22ded2f4654e68ea5 jortho-1.0-1.tar.gz
-2155e0bdbd29cd3d2905454de2e7203b9661d239 jortho-1.0-2.tar.gz
-ffe179867cf5ffaabbb6bb096db9bdc0d7110065 jortho-1.0.tar.gz
-6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
-afb04f4048a87bb888fe7b05b0139cb060c7925b kodkodi-1.5.2-1.tar.gz
-5f95c96bb99927f3a026050f85bd056f37a9189e kodkodi-1.5.2.tar.gz
-0634a946b216f7f07f1a0f7e28cf345daa28828f kodkodi-1.5.3.tar.gz
-52e95b3493d71902f9df89d0bb59d0046a5f0c63 kodkodi-1.5.4-1.tar.gz
-267189c637de26cf304d699cfa95389da002b250 kodkodi-1.5.4.tar.gz
-3ecdade953bb455ed2907952be287d7e5cf6533b kodkodi-1.5.5.tar.gz
-8aa939f5127290eb9a99952d375be9ffbf90c43b kodkodi-1.5.6-1.tar.gz
-6b12bf3f40b16fae8ff22aa39171fa018d107cb3 kodkodi-1.5.6.tar.gz
-c8b2e632f3ab959a4e037833a45e6360c8b72a99 kodkodi-1.5.7.tar.gz
-377e36efb8608e6c828c7718d890e97fde2006a4 linux_app-20131007.tar.gz
-759848095e2ad506083d92b5646947e3c32f27a0 linux_app-20191223.tar.gz
-1a449ce69ac874e21804595d16aaaf5a0d0d0c10 linux_app-20200110.tar.gz
-0aab4f73ff7f5e36f33276547e10897e1e56fb1d macos_app-20130716.tar.gz
-ad5d0e640ce3609a885cecab645389a2204e03bb macos_app-20150916.tar.gz
-400af57ec5cd51f96928d9de00d077524a6fe316 macos_app-20181205.tar.gz
-3bc42b8e22f0be5ec5614f1914066164c83498f8 macos_app-20181208.tar.gz
-5fb1a2d21b220d0e588790c0203ac87c10ed0870 minisat-2.2.1-1.tar.gz
-ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1 minisat-2.2.1.tar.gz
-eda10c62da927a842c0a8881f726eac85e1cb4f7 naproche-20210122.tar.gz
-edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz
-d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300 naproche-20210129.tar.gz
-810ee0f35adada9bf970c33fd80b986ab2255bf3 naproche-20210201.tar.gz
-37bb6d934cfaf157efcadb349a0244d145ce15b0 naproche-20211211.tar.gz
-d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
-4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
-77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
-9c02ecf93863c3289002c5e5ac45a83e2505984c naproche-755224402e36.tar.gz
-e1b34e8f54e7e5844873612635444fed434718a1 naproche-7d0947a91dd5.tar.gz
-26df569cee9c2fd91b9ac06714afd43f3b37a1dd nunchaku-0.3.tar.gz
-e573f2cbb57eb7b813ed5908753cfe2cb41033ca nunchaku-0.5.tar.gz
-3d7b7690dfd09e25ad56e64b519f61f06e3ab706 old_vampire-4.2.2.tar.gz
-fe57793aca175336deea4f5e9c0d949a197850ac opam-1.2.2.tar.gz
-eb499a18e7040ca0fe1ca824c9dcb2087c47c9ba opam-2.0.3-1.tar.gz
-002f74c9e65e650de2638bf54d7b012b8de76c28 opam-2.0.3.tar.gz
-ddb3b438430d9565adbf5e3d913bd52af8337511 opam-2.0.6.tar.gz
-fc66802c169f44511d3be30435eb89a11e635742 opam-2.0.7.tar.gz
-108e947d17e9aa6170872614492d8f647802f483 opam-2.1.0.tar.gz
-f8d0218371457eabe2b4214427d9570de92ed861 pdfjs-2.12.313.tar.gz
-1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
-a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz
-7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz
-b3d776e6744f0cd2773d467bc2cfe1de3d1ca2fd polyml-5.5.0-3.tar.gz
-1812e9fa6d163f63edb93e37d1217640a166cf3e polyml-5.5.0.tar.gz
-36f5b8224f484721749682a3655c796a55a2718d polyml-5.5.1-1.tar.gz
-36f78f27291a9ceb13bf1120b62a45625afd44a6 polyml-5.5.1.tar.gz
-a588640dbf5da9ae15455b02ef709764a48637dc polyml-5.5.2-1.tar.gz
-4b690390946f7bfb777b89eb16d6f08987cca12f polyml-5.5.2-2.tar.gz
-5b31ad8556e41dfd6d5e85f407818be399aa3d2a polyml-5.5.2-3.tar.gz
-532f6e8814752aeb406c62fabcfd2cc05f8a7ca8 polyml-5.5.2.tar.gz
-1c53f699d35c0db6c7cf4ea51f2310adbd1d0dc5 polyml-5.5.3-20150820.tar.gz
-b4b624fb5f34d1dc814fb4fb469fafd7d7ea018a polyml-5.5.3-20150908.tar.gz
-b668e1f43a41608a8eb365c5e19db6c54c72748a polyml-5.5.3-20150911.tar.gz
-1f5cd9b1390dab13861f90dfc06d4180cc107587 polyml-5.5.3-20150916.tar.gz
-f78896e588e8ebb4da57bf0c95210b0f0fa9e551 polyml-5.6-1.tar.gz
-21fa0592b7dfd23269063f42604438165630c0f0 polyml-5.6-2.tar.gz
-03ba81e595fa6d6df069532d67ad3195c37d9046 polyml-5.6-20151123.tar.gz
-822f489c18e38ce5ef979ec21dccce4473e09be6 polyml-5.6-20151206.tar.gz
-bd6a448f0e0d5787747f4f30ca661f9c1868e4a7 polyml-5.6-20151223.tar.gz
-5b70c12c95a90d858f90c1945011289944ea8e17 polyml-5.6-20160118.tar.gz
-5b19dc93082803b82aa553a5cfb3e914606c0ffd polyml-5.6.tar.gz
-80b923fca3533bf291ff9da991f2262a98b68cc4 polyml-5.7-20170217.tar.gz
-381a70cecf0fdee47f6842e2bdb5107ed52adab6 polyml-5.7.1-1.tar.gz
-39dac33b569ac66f76126b8f4edc6d9227bd8a63 polyml-5.7.1-2.tar.gz
-0b896ccc35bd3f2541cd55e6f0ed14637ed9fc68 polyml-5.7.1-4.tar.gz
-262450ac9966abebae2e1d4f9ae703cfe0f5d8d9 polyml-5.7.1-5.tar.gz
-1aeb57877d694db7fe4d4395287cddf3bc77710b polyml-5.7.1-6.tar.gz
-e3e7e20b1e0e5d5d68df4cd4caa1e1a7410d46b6 polyml-5.7.1-7.tar.gz
-1430533c09b17f8be73798a47a5f409d43a04cf4 polyml-5.7.1-8.tar.gz
-171b5783b88522a35e4822b19ef8ba838c04f494 polyml-5.7.1.tar.gz
-5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
-51e024225b460900da5279f0b91b217085f98cf9 polyml-5.8-20190220.tar.gz
-20a83fa58d497b533150defe39bcd4540529b25f polyml-5.8-20190306.tar.gz
-9f0e9cd10df4c3383b063eb076e8b698ca50c3d0 polyml-5.8.1-20191101.tar.gz
-f46deb909d645ac8c140968e4d32b5763beb9add polyml-5.8.1-20191113.tar.gz
-36a40a981b57daae0463d14940a8edf6fa1af179 polyml-5.8.1-20191114.tar.gz
-525b05536b08c11a1eae943fe6818a8622326084 polyml-5.8.1-20191124.tar.gz
-9043828803483ca14df64488dff014ad050a6d34 polyml-5.8.1-20200228.tar.gz
-1186607e2c43b77db86731f12fbedb531ca50a21 polyml-5.8.1-20200708.tar.gz
-22ae16bf7850e73b903d2ca8eb506da05b441cf3 polyml-5.8.1.tar.gz
-cb8e85387315f62dcfc6b21ec378186e58068f76 polyml-5.8.2.tar.gz
-d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
-fb40145228f84513a9b083b54678a7d61b9c34c4 polyml-5.9-5d4caa8f7148.tar.gz
-0f1c903b043acf7b221821d8b6374b3f943a122b polyml-5.9-610a153b941d.tar.gz
-5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
-7056b285af67902b32f5049349a064f073f05860 polyml-5.9-cc80e2b43c38.tar.gz
-0c396bd6b46ff11a2432b91aab2be0248bd9b0a4 polyml-5.9.tar.gz
-49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
-2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
-8e83fb5088cf265902b8da753a8eac5fe3f6a14b polyml-test-159dc81efc3b.tar.gz
-b80c17398293d0c8f8d9923427176efb33cf2d89 polyml-test-15c840d48c9a.tar.gz
-a0064c157a59e2706e18512a49a6dca914fa17fc polyml-test-1b2dcf8f5202.tar.gz
-4e6543dbbb2b2aa402fd61428e1c045c48f18b47 polyml-test-79534495ee94.tar.gz
-853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e polyml-test-7a7b742897e9.tar.gz
-85bfda83d138e936fdafd68ed3627b1058e5c2c3 polyml-test-7e49fce62e3d.tar.gz
-c629cd499a724bbe37b962f727e4ff340c50299d polyml-test-8529546198aa.tar.gz
-7df4857d73dbc9edda25a6ad329e47639e70fadf polyml-test-8fda4fd22441.tar.gz
-2b7c02b67feb2f44dda6938a7244f4257e7c580c polyml-test-905dae2ebfda.tar.gz
-3dfdc58e5d9b28f038a725e05c9c2f2ce0bb2632 polyml-test-a3cfdf648da-1.tar.gz
-e2f075b0cc709f4f7f6492b725362f9010b2c6d1 polyml-test-a3cfdf648da-2.tar.gz
-33568f69ce813b7405386ddbefa14ad0342bb8f0 polyml-test-a3cfdf648da.tar.gz
-4bedaac4f1fb9a9199aa63695735063c47059003 polyml-test-a444f281ccec.tar.gz
-f3031692edcc5d8028a42861e4e40779f0f9d3e1 polyml-test-b68438d33c69.tar.gz
-cb2318cff6ea9293cd16a4435a4fe28ad9dbe0b8 polyml-test-cf46747fee61.tar.gz
-67ffed2f98864721bdb1e87f0ef250e4c69e6160 polyml-test-d68c6736402e.tar.gz
-b4ceeaac47f3baae41c2491a8368b03217946166 polyml-test-e7a662f8f9c4.tar.gz
-609c7d09d3ed01156ff91261e801e2403ff93729 polyml-test-e8d82343b692.tar.gz
-b6d87466e9b44e8ef4a2fac74c96b139080a506a polyml-test-f54aa41240d0.tar.gz
-d365f3fc11c2427cafc62b3c79951880a1476ebb polyml-test-f86ae3dc1686.tar.gz
-a619177143fea42a464f49bb864665407c07a16c polyml-test-fb4f42af00fa.tar.gz
-53123dc011b2d4b4e8fe307f3c9fa355718ad01a postgresql-42.1.1.tar.gz
-3a5d31377ec07a5069957f5477a4848cfc89a594 postgresql-42.1.4.tar.gz
-7d6ef4320d5163ceb052eb83c1cb3968f099a422 postgresql-42.2.18.tar.gz
-e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40 postgresql-42.2.2.tar.gz
-1aaa38429dc9aa7b1095394d9a7ba3465f8d6e04 postgresql-42.2.24.tar.gz
-231b33c9c3c27d47e3ba01b399103d70509e0731 postgresql-42.2.5.tar.gz
-6335fbc0658e447b5b9bc48c9ad36e33a05bb72b postgresql-42.2.9.tar.gz
-f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
-0885e1f1d8feaca78d2f204b6487e6eec6dfab4b scala-2.10.0.tar.gz
-f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc scala-2.10.1.tar.gz
-207e4916336335386589c918c5e3f3dcc14698f2 scala-2.10.2.tar.gz
-21c8ee274ffa471ab54d4196ecd827bf3d43e591 scala-2.10.3.tar.gz
-d4688ddaf83037ca43b5bf271325fc53ae70e3aa scala-2.10.4.tar.gz
-44d12297a78988ffd34363535e6a8e0d94c1d8b5 scala-2.11.0.tar.gz
-14f20de82b25215a5e055631fb147356400625e6 scala-2.11.1.tar.gz
-4fe9590d08e55760b86755d3fab750e90ac6c380 scala-2.11.2.tar.gz
-27a296495b2167148de06314ed9a942f2dbe23fe scala-2.11.4.tar.gz
-4b24326541161ce65424293ca9da3e7c2c6ab452 scala-2.11.5.tar.gz
-e7cf20e3b27c894c6127c7a37042c1667f57385e scala-2.11.6.tar.gz
-4810c1b00719115df235be1c5991aa6ea7186134 scala-2.11.7.tar.gz
-3eca4b80710996fff87ed1340dcea2c5f6ebf4f7 scala-2.11.8.tar.gz
-0004e53f885fb165b50c95686dec40d99ab0bdbd scala-2.12.0.tar.gz
-059cbdc58d36e3ac1fffcccd9139ecd34f271882 scala-2.12.10.tar.gz
-82056106aa6fd37c159ea76d16096c20a749cccd scala-2.12.11.tar.gz
-fe7ff585acffaad7f0dd4a1d079134d15c26ed0d scala-2.12.12.tar.gz
-74a8c3dab3a25a87357996ab3e95d825dc820fd0 scala-2.12.2.tar.gz
-d66796a68ec3254b46b17b1f8ee5bcc56a93aacf scala-2.12.3.tar.gz
-1636556167dff2c191baf502c23f12e09181ef78 scala-2.12.4.tar.gz
-8171f494bba54fb0d01c887f889ab8fde7171c2a scala-2.12.5.tar.gz
-54c1b06fa2c5f6c2ab3d391ef342c0532cd7f392 scala-2.12.6.tar.gz
-02358f00acc138371324b6248fdb62eed791c6bd scala-2.12.7.tar.gz
-201c05ae9cc382ee6c08af49430e426f6bbe0d5a scala-2.12.8.tar.gz
-a0622fe75c3482ba7dc3ce74d58583b648a1ff0d scala-2.13.4-1.tar.gz
-ec53cce3c5edda1145ec5d13924a5f9418995c15 scala-2.13.4.tar.gz
-f51981baf34c020ad103b262f81796c37abcaa4a scala-2.13.5.tar.gz
-0a7cab09dec357dab7819273f2542ff1c3ea0968 scala-2.13.6.tar.gz
-1f8532dba290c6b2ef364632f3f92e71da93baba scala-2.13.7.tar.gz
-b447017e81600cc5e30dd61b5d4962f6da01aa80 scala-2.8.1.final.tar.gz
-5659440f6b86db29f0c9c0de7249b7e24a647126 scala-2.9.2.tar.gz
-abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
-cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
-edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
-43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
-b016a785f1f78855c00d351ff598355c3b87450f sqlite-jdbc-3.18.0-1.tar.gz
-b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf sqlite-jdbc-3.18.0.tar.gz
-e56117a67ab01fb24c7fc054ede3160cefdac5f8 sqlite-jdbc-3.20.0.tar.gz
-27aeac6a91353d69f0438837798ac4ae6f9ff8c5 sqlite-jdbc-3.23.1.tar.gz
-4d17611857fa3a93944c1f159c0fd2a161967aaf sqlite-jdbc-3.27.2.1.tar.gz
-806be457eb79408fcc5a72aeca3f64b2d89a6b63 sqlite-jdbc-3.30.1.tar.gz
-cba2b194114216b226d75d49a70d1bd12b141ac8 sqlite-jdbc-3.32.3.2.tar.gz
-29306acd6ce9f4c87032b2c271c6df035fe7d4d3 sqlite-jdbc-3.34.0.tar.gz
-8a2ca4d02cfedbfe4dad4490f1ed3ddba33a009a sqlite-jdbc-3.36.0.3.tar.gz
-8d20968603f45a2c640081df1ace6a8b0527452a sqlite-jdbc-3.8.11.2.tar.gz
-2369f06e8d095f9ba26df938b1a96000e535afff ssh-java-20161009.tar.gz
-a2335d28b5b95d8d26500a53f1a9303fc5beaf36 ssh-java-20190323.tar.gz
-fdc415284e031ee3eb2f65828cbc6945736fe995 stack-1.9.1.tar.gz
-6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb stack-1.9.3.tar.gz
-f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
-ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
-fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.3.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
-44d67b6742919ce59a42368fc60e2afa210a3e42 sumatra_pdf-2.5.2.tar.gz
-89719a13bc92810730a430973684629426ed1b2a sumatra_pdf-3.0.tar.gz
-f5afcc82f8e734665d38867e99475d3ad0d5ed15 sumatra_pdf-3.1.1.tar.gz
-a45eca5c1277f42f87bb8dc12a3074ccf5488221 sumatra_pdf-3.1.2-1.tar.gz
-3b3239b2e6f8062b90d819f3703e30a50f4fa1e7 sumatra_pdf-3.1.2-2.tar.gz
-8486387f61557147ec06b1f637117c017c8f0528 sumatra_pdf-3.1.2.tar.gz
-e8648878f908e93d64a393231ab21fdac976a9c2 sumatra_pdf-3.3.3.tar.gz
-869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd vampire-1.0.tar.gz
-399f687b56575b93e730f68c91c989cb48aa34d8 vampire-4.2.2.tar.gz
-0402978ca952f08eea73e483b694928ac402a304 vampire-4.5.1-1.tar.gz
-26d9d171e169c6420a08aa99eda03ef5abb9c545 vampire-4.5.1.tar.gz
-4571c042efd6fc3097e105a528826959acd888a3 vampire-4.6.tar.gz
-98c5c79fef7256db9f64c8feea2edef0a789ce46 verit-2016post.tar.gz
-52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d verit-2020.10-rmx-1.tar.gz
-b6706e74e20e14038e9b38f0acdb5639a134246a verit-2020.10-rmx.tar.gz
-d33e1e36139e86b9e9a48d8b46a6f90d7863a51c verit-2021.06-rmx-1.tar.gz
-c11d1120fcefaec79f099fe2be05b03cd2aed8b9 verit-2021.06-rmx.tar.gz
-b576fd5d89767c1067541d4839fb749c6a68d22c verit-2021.06.1-rmx.tar.gz
-19c6e5677b0a26cbc5805da79d00d06a66b7a671 verit-2021.06.2-rmx.tar.gz
-81d21dfd0ea5c58f375301f5166be9dbf8921a7a windows_app-20130716.tar.gz
-fe15e1079cf5ad86f3cbab4553722a0d20002d11 windows_app-20130905.tar.gz
-e6a43b7b3b21295853bd2a63b27ea20bd6102f5f windows_app-20130906.tar.gz
-8fe004aead867d4c82425afac481142bd3f01fb0 windows_app-20130908.tar.gz
-d273abdc7387462f77a127fa43095eed78332b5c windows_app-20130909.tar.gz
-c368908584e2bca38b3bcb20431d0c69399fc2f0 windows_app-20131130.tar.gz
-c3f5285481a95fde3c1961595b4dd0311ee7ac1f windows_app-20131201.tar.gz
-14807afcf69e50d49663d5b48f4b103f30ae842b windows_app-20150821.tar.gz
-ed106181510e825bf959025d8e0a2fc3f78e7a3f windows_app-20180417.tar.gz
-e809e4ab0d33cb413a7c47dd947e7dbdfcca1c24 windows_app-20181002.tar.gz
-9e96ba128a0617a9020a178781df49d48c997e19 windows_app-20181006.tar.gz
-1c36a840320dfa9bac8af25fc289a4df5ea3eccb xz-java-1.2-1.tar.gz
-2ae13aa17d0dc95ce254a52f1dba10929763a10d xz-java-1.2.tar.gz
-c22196148fcace5443a933238216cff5112948df xz-java-1.5.tar.gz
-4368ee09154dff42666a8c87e072261745619e51 xz-java-1.6.tar.gz
-63f5fa09e92a895cb9aea27d7142abc86c487d25 xz-java-1.8.tar.gz
-a06875bdadd653627a68d2083c5178c1264d8fc6 xz-java-1.9.tar.gz
-4530a1aa6f4498ee3d78d6000fa71a3f63bd077f yices-1.0.28.tar.gz
-3a8f77822278fe9250890e357248bc678d8fac95 z3-3.2-1.tar.gz
-12ae71acde43bd7bed1e005c43034b208c0cba4c z3-3.2.tar.gz
-d94a716502c8503d63952bcb4d4176fac8b28704 z3-4.0.tar.gz
-86e721296c400ada440e4a9ce11b9e845eec9e25 z3-4.3.0.tar.gz
-a8917c31b31c182edeec0aaa48870844960c8a61 z3-4.3.2pre-1.tar.gz
-06b30757ff23aefbc30479785c212685ffd39f4d z3-4.3.2pre.tar.gz
-ed37c451b9b748901295898bf713b24d22cc8c17 z3-4.4.0_4.4.1.tar.gz
-93e7e4bddc6afcf87fe2b6656cfcb1b1acd0a4f8 z3-4.4.0pre-1.tar.gz
-b1bc411c2083fc01577070b56b94514676f53854 z3-4.4.0pre-2.tar.gz
-4c366ab255d2e9343fb635d44d4d55ddd24c76d0 z3-4.4.0pre-3.tar.gz
-517ba7b94c1985416c5b411c8ae84456367eb231 z3-4.4.0pre.tar.gz
-6e5d7a65757cac970eb5ad28cd62130c99f42c23 z3-4.4.1.tar.gz
-aa20745f0b03e606b1a4149598e0c7572b63c657 z3-4.8.3.tar.gz
-9dfeb39c87393af7b6a34118507637aa53aca05e zipperposition-2.0-1.tar.gz
-b884c60653002a7811e3b652ae0515e825d98667 zipperposition-2.0.tar.gz
-b129ec4f8a4474953ec107536298ee08a01fbebc zipperposition-2.1-1.tar.gz
-5f53a77efb5cbe9d0c95d74a1588cc923bd711a7 zipperposition-2.1.tar.gz
+59a71e08c34ff01f3f5c4af00db5e16369527eb7 Haskabelle-2013.tar.gz
+23a96ff4951d72f4024b6e8843262eda988bc151 Haskabelle-2014.tar.gz
+eccff31931fb128c1dd522cfc85495c9b66e67af Haskabelle-2015.tar.gz
+ed740867925dcf58692c8d3e350c28e3b4d4a60f Isabelle_app-20210126.tar.gz
+8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz
+847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz
+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
+97b2491382130a841b3bbaebdcf8720c4d4fb227 bash_process-1.2.2.tar.gz
+5c5b7c18cc1dc2a4d22b997dac196da09eaca868 bash_process-1.2.3-1.tar.gz
+48b01bd9436e243ffcb7297f08b498d0c0875ed9 bash_process-1.2.3.tar.gz
+11815d5f3af0de9022e903ed8702c136591f06fe bash_process-1.2.4-1.tar.gz
+729486311833e4eff0fbf2d8041dddad520ca88c bash_process-1.2.4-2.tar.gz
+7ae9ec8aab2d8a811842d9dc67d8bf6c179e11ee bash_process-1.2.4.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
+e880f31f59bd403fb72fcd3b5afb413c3831a21c csdp-6.1-1.tar.gz
+2659100ba8e28e7cb0ecb554178ee5315d4a87f5 csdp-6.1.1.tar.gz
+a2bd94f4f9281dc70dfda66cf28016c2ffef7ed7 csdp-6.1.tar.gz
+ec17080269737e4a97b4424a379924c09b338ca2 csdp-6.2.0.tar.gz
+70105fd6fbfd1a868383fc510772b95234325d31 csdp-6.x.tar.gz
+2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7 cvc3-2.4.1.tar.gz
+d70bfbe63590153c07709dea7084fbc39c669841 cvc4-1.5-1.tar.gz
+541eac340464c5d34b70bb163ae277cc8829c40f cvc4-1.5-2.tar.gz
+1a44895d2a440091a15cc92d7f77a06a2e432507 cvc4-1.5-3.tar.gz
+c0d8d5929b00e113752d8bf5d11241cd3bccafce cvc4-1.5-4.tar.gz
+ffb0d4739c10eb098eb092baef13eccf94a79bad cvc4-1.5-5.tar.gz
+3682476dc5e915cf260764fa5b86f1ebdab57507 cvc4-1.5.tar.gz
+a5e02b5e990da4275dc5d4480c3b72fc73160c28 cvc4-1.5pre-1.tar.gz
+4d9658fd2688ae8ac78da8fdfcbf85960f871b71 cvc4-1.5pre-2.tar.gz
+b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9 cvc4-1.5pre-3.tar.gz
+76ff6103b8560f0e2778bbfbdb05f5fa18f850b7 cvc4-1.5pre-4.tar.gz
+03aec2ec5757301c9df149f115d1f4f1d2cafd9e cvc4-1.5pre.tar.gz
+e99560d0b7cb9bafde2b0ec1a3a95af315918a25 cvc4-1.8.tar.gz
+842d9526f37b928cf9e22f141884365129990d63 cygwin-20130110.tar.gz
+cb3b0706d208f104b800267697204f6d82f7b48a cygwin-20130114.tar.gz
+3b44cca04855016d5f8cfb5101b2e0579ab80197 cygwin-20130117.tar.gz
+1fde9ddf0fa4f398965113d0c0c4f0e97c78d008 cygwin-20130716.tar.gz
+a03735a53c2963eb0b453f6a7282d3419f28bf38 cygwin-20130916.tar.gz
+7470125fc46e24ee188bdaacc6d560e01b6fa839 cygwin-20140520.tar.gz
+db4dedae026981c5f001be283180abc1962b79ad cygwin-20140521.tar.gz
+acbc4bf161ad21e96ecfe506266ccdbd288f8a6f cygwin-20140530.tar.gz
+3dc680d9eb85276e8c3e9f6057dad0efe2d5aa41 cygwin-20140626.tar.gz
+8e562dfe57a2f894f9461f4addedb88afa108152 cygwin-20140725.tar.gz
+238d8e30e8e22495b7ea3f5ec36e852e97fe8bbf cygwin-20140813.tar.gz
+629b8fbe35952d1551cd2a7ff08db697f6dff870 cygwin-20141024.tar.gz
+ce93d0b3b2743c4f4e5bba30c2889b3b7bc22f2c cygwin-20150410.tar.gz
+fa712dd5ec66ad16add1779d68aa171ff5694064 cygwin-20151210.tar.gz
+056b843d5a3b69ecf8a52c06f2ce6e696dd275f9 cygwin-20151221.tar.gz
+44f3a530f727e43a9413226c2423c9ca3e4c0cf5 cygwin-20161002.tar.gz
+dd56dd16d861fc6e1a008bf5e9da6f33ed6eb820 cygwin-20161022.tar.gz
+d9ad7aae99d54e3b9813151712eb88a441613f04 cygwin-20161024.tar.gz
+f8eb6a0f722e3cfe3775d1204c5c7063ee1f008e cygwin-20170828.tar.gz
+c22048912b010a5a0b4f2a3eb4d318d6953761e4 cygwin-20170930.tar.gz
+5a3919e665947b820fd7f57787280c7512be3782 cygwin-20180604.tar.gz
+2aa049170e8088de59bd70eed8220f552093932d cygwin-20190320.tar.gz
+fb898e263fcf6f847d97f564fe49ea0760bb453f cygwin-20190322.tar.gz
+cd01fac0ab4fdb50a2bbb6416da3f15a4d540da1 cygwin-20190524.tar.gz
+caa616fbab14c1fce790a87db5c4758c1322cf28 cygwin-20200116.tar.gz
+f053a9ab01f0be9cb456560f7eff66a8e7ba2fd2 cygwin-20200323.tar.gz
+0107343cd2562618629f73b2581168f0045c3234 cygwin-20201002.tar.gz
+a3d481401b633c0ee6abf1da07d75da94076574c cygwin-20201130.tar.gz
+5b1820b87b25d8f2d237515d9854e3ce54ee331b cygwin-20211002.tar.gz
+5dff30be394d88dd83ea584fa6f8063bdcdc21fd cygwin-20211004.tar.gz
+fffaae24da4d274d34b8dc79a76b478b87ec31dd cygwin-20211007.tar.gz
+0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
+2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
+e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
+b98a98025d1f7e560ca6864a53296137dae736b4 e-1.6.tar.gz
+c11b25c919e2ec44fe2b6ac2086337b456344e97 e-1.8.tar.gz
+a895a96ec7e6fcc275114bb9b4c92b20fac73dba e-2.0-1.tar.gz
+2ebd7e3067a2cdae3cb8b073345827013978d74b e-2.0-2.tar.gz
+fac44556dd16f666a2c186be30aa6d8c67228bb9 e-2.0-3.tar.gz
+5d36fb62912cfcff7f3b99a6266c578aafc288b7 e-2.0-4.tar.gz
+3223c51c0b16fe00ced4ae903041fff858e61742 e-2.0-5.tar.gz
+6b962a6b4539b7ca4199977973c61a8c98a492e8 e-2.0.tar.gz
+66449a7b68b7d85a7189e10735a81069356123b6 e-2.5-1.tar.gz
+813b66ca151d7a39b5cacb39ab52acabc2a54845 e-2.5.tar.gz
+6e63f9f354b8c06035952845b987080699a12d55 e-2.6-1.tar.gz
+a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
+6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
+8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
+e6aada354da11e533af2dee3dcdd96c06479b053 exec_process-1.0.3.tar.gz
+ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz
+7a4b46752aa60c1ee6c53a2c128dedc8255a4568 flatlaf-0.46-1.tar.gz
+ed5cbc216389b655dac21a19e770a02a96867b85 flatlaf-0.46.tar.gz
+d37b38b9a27a6541c644e22eeebe9a339282173d flatlaf-1.0-rc1.tar.gz
+dac46ce81cee10fb36a9d39b414dec7b7b671545 flatlaf-1.0-rc2.tar.gz
+d94e6da7299004890c04a7b395a3f2d381a3281e flatlaf-1.0-rc3.tar.gz
+7ca3e6a8c9bd837990e64d89e7fa07a7e7cf78ff flatlaf-1.0.tar.gz
+9908e5ab721f1c0035c0ab04dc7ad0bd00a8db27 flatlaf-1.2.tar.gz
+9534b721b7b78344f3225067ee4df28a5440b87e flatlaf-1.6.4.tar.gz
+212a0f1f867511722024cc60156fd71872a16f92 flatlaf-1.6.tar.gz
+f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
+71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
+683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
+989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
+20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
+736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
+9502c1aea938021f154adadff254c5c55da344bd isabelle_fonts-20151106.tar.gz
+f5c63689a394b974ac0d365debda577c6fa31c07 isabelle_fonts-20151107.tar.gz
+812101680b75f7fa9ee8e138ea6314fa4824ea2d isabelle_fonts-20151229.tar.gz
+2730e1475c7d655655882e75743e0b451725a274 isabelle_fonts-20151231.tar.gz
+1f004a6bf20088a7e8f1b3d4153aa85de6fc1091 isabelle_fonts-20160101.tar.gz
+379d51ef3b71452dac34ba905def3daa8b590f2e isabelle_fonts-20160102.tar.gz
+878536aab1eaf1a52da560c20bb41ab942971fa3 isabelle_fonts-20160227.tar.gz
+8ff0eedf0191d808ecc58c6b3149a4697f29ab21 isabelle_fonts-20160812-1.tar.gz
+9283e3b0b4c7239f57b18e076ec8bb21021832cb isabelle_fonts-20160812.tar.gz
+620cffeb125e198b91a716da116f754d6cc8174b isabelle_fonts-20160830.tar.gz
+b70690c85c05d0ca5bc29287abd20142f6ddcfb0 isabelle_fonts-20171222.tar.gz
+c17c482e411bbaf992498041a3e1dea80336aaa6 isabelle_fonts-20171230.tar.gz
+3affbb306baff37c360319b21cbaa2cc96ebb282 isabelle_fonts-20180113.tar.gz
+bee32019e5d7cf096ef2ea1d836c732e9a7628cc isabelle_fonts-20181124.tar.gz
+f249bc2c85bd2af9eee509de17187a766b74ab86 isabelle_fonts-20181129.tar.gz
+928b5320073d04d93bcc5bc4347b6d01632b9d45 isabelle_fonts-20190210.tar.gz
+dfcdf9a757b9dc36cee87f82533b43c58ba84abe isabelle_fonts-20190309.tar.gz
+95e3acf038df7fdeeacd8b4769930e6f57bf3692 isabelle_fonts-20190406.tar.gz
+dabcf5085d67c99159007007ff0e9bf775e423d1 isabelle_fonts-20190409.tar.gz
+76827987c70051719e117138858930d42041f57d isabelle_fonts-20190717.tar.gz
+abc8aea3ae471f9313917008ac90e5c1c99e17da isabelle_fonts-20210317.tar.gz
+3ff9195aab574fc75ca3b77af0adb33f9b6d7b74 isabelle_fonts-20210318.tar.gz
+b166b4bd583b6442a5d75eab06f7adbb66919d6d isabelle_fonts-20210319.tar.gz
+9467ad54a9ac10a6e7e8db5458d8d2a5516eba96 isabelle_fonts-20210321.tar.gz
+1f7a0b9829ecac6552b21e995ad0f0ac168634f3 isabelle_fonts-20210322.tar.gz
+667000ce6dd6ea3c2d11601a41c206060468807d isabelle_fonts-20211004.tar.gz
+916adccd2f40c55116b68b92ce1eccb24d4dd9a2 isabelle_setup-20210630.tar.gz
+c611e363287fcc9bdd93c33bef85fa4e66cd3f37 isabelle_setup-20210701.tar.gz
+a0e7527448ef0f7ce164a38a50dc26e98de3cad6 isabelle_setup-20210709.tar.gz
+e413706694b0968245ee15183af2d464814ce0a4 isabelle_setup-20210711.tar.gz
+d2c9fd7b73457a460111edd6eb93a133272935fb isabelle_setup-20210715.tar.gz
+a5f478ba1088f67c2c86dc2fa7764b6d884e5ae5 isabelle_setup-20210716-1.tar.gz
+79fad009cb22aa5e7cb4aed3c810ad5f61790293 isabelle_setup-20210716.tar.gz
+692a39f716998e556ec9559c9ca362fc8fc9d5b6 isabelle_setup-20210717-1.tar.gz
+7322d6d84d75c486a58ed36630431db4499e3232 isabelle_setup-20210717-2.tar.gz
+14f8508bcae9140815bb23e430e26d2cbc504b81 isabelle_setup-20210717.tar.gz
+ca801d5c380ea896ee32b309ff19ae5f34538963 isabelle_setup-20210718.tar.gz
+ac9739e38e4fbbfce1a71a0987a57b22f83922d3 isabelle_setup-20210724-1.tar.gz
+4554679cc8ea31e539655810a14d14216b383d0e isabelle_setup-20210724-2.tar.gz
+127a75ae33e97480d352087fcb9b47a632d77169 isabelle_setup-20210724.tar.gz
+309909ec6d43ae460338e9af54c1b2a48adcb1ec isabelle_setup-20210726.tar.gz
+a14ce46c62c64c3413f3cc9239242e33570d0f3d isabelle_setup-20210922.tar.gz
+b22066a9dcde6f813352dcf6404ac184440a22df isabelle_setup-20211109.tar.gz
+91c5d29e9fa40aee015e8e65ffea043e218c2fc5 isabelle_setup-20220323.tar.gz
+0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
+e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
+3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
+06ac8993b5bebd02c70f1bd18ce13075f01115f3 jdk-11.0.3+7.tar.gz
+e7e3cc9b0550c1e5d71197ad8c30f92b622d7183 jdk-11.0.4+11.tar.gz
+49007a84a2643a204ce4406770dfd574b97880d9 jdk-11.0.5+10.tar.gz
+3c250e98eb82f98afc6744ddc9170d293f0677e1 jdk-11.0.6+10.tar.gz
+76cf7a141e15db30bd975089c65c833b58092aa7 jdk-11.0.9+11.tar.gz
+71d19df63816e9be1c4c5eb44aea7a44cfadb319 jdk-11.tar.gz
+72455a2fdb6cced9cd563f4d5d6134f7a6c34913 jdk-15.0.1+9.tar.gz
+e8ae300e61b0b121018456d50010b555bc96ce10 jdk-15.0.2+7.tar.gz
+a426a32ad34014953c0f7d4cc6f44199572e1c38 jdk-17+35.tar.gz
+85707cfe369d0d32accbe3d96a0730c87e8639b5 jdk-17.0.1+12.tar.gz
+699ab2d723b2f1df151a7dbcbdf33ddad36c7978 jdk-17.0.2+8.tar.gz
+8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
+38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
+d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
+13a265e4b706ece26fdfa6fc9f4a3dd1366016d2 jdk-7u21.tar.gz
+5080274f8721a18111a7f614793afe6c88726739 jdk-7u25.tar.gz
+dd24d63afd6d17b29ec9cb2b2464d4ff2e02de2c jdk-7u40.tar.gz
+ec740ee9ffd43551ddf1e5b91641405116af6291 jdk-7u6.tar.gz
+71b629b2ce83dbb69967c4785530afce1bec3809 jdk-7u60.tar.gz
+e119f4cbfa2a39a53b9578d165d0dc44b59527b7 jdk-7u65.tar.gz
+d6d1c42989433839fe64f34eb77298ef6627aed4 jdk-7u67.tar.gz
+b66039bc6dc2bdb2992133743005e1e4fc58ae24 jdk-7u72.tar.gz
+d980055694ddfae430ee001c7ee877d535e97252 jdk-7u76.tar.gz
+baa6de37bb6f7a104ce5fe6506bca3d2572d601a jdk-7u80.tar.gz
+7d5b152ac70f720bb9e783fa45ecadcf95069584 jdk-7u9.tar.gz
+baf275a68d3f799a841932e4e9a95a1a604058ae jdk-8u102.tar.gz
+5442f1015a0657259be0590b04572cd933431df7 jdk-8u11.tar.gz
+741de6a4a805a0f9fb917d1845409e99346c2747 jdk-8u112.tar.gz
+ae7df8bd0c18eb40237cf54cc28933f4893b9c92 jdk-8u121.tar.gz
+51531a3a0c16e180ed95cb7d2bd680c2ec0aa553 jdk-8u131.tar.gz
+e45edcf184f608d6f4a7b966d65a5d3289462693 jdk-8u144.tar.gz
+264e806b9300a4fb3b6e15ba0e2c664d4ea698c8 jdk-8u152.tar.gz
+84b04d877a2ea3a4e2082297b540e14f76722bc5 jdk-8u162.tar.gz
+87303a0de3fd595aa3857c8f7cececa036d6ed18 jdk-8u172.tar.gz
+9ae0338a5277d8749b4b4c7e65fc627319d98b27 jdk-8u181.tar.gz
+cfecb1383faaf027ffbabfcd77a0b6a6521e0969 jdk-8u20.tar.gz
+44ffeeae219782d40ce6822b580e608e72fd4c76 jdk-8u31.tar.gz
+c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4 jdk-8u5.tar.gz
+4132cf52d5025bf330d53b96a5c6466fef432377 jdk-8u51.tar.gz
+74df343671deba03be7caa49de217d78b693f817 jdk-8u60.tar.gz
+dfb087bd64c3e5da79430e0ba706b9abc559c090 jdk-8u66.tar.gz
+2ac389babd15aa5ddd1a424c1509e1c459e6fbb1 jdk-8u72.tar.gz
+caa0cf65481b6207f66437576643f41dabae3c83 jdk-8u92.tar.gz
+778fd85c827ec49d2d658a832d20e63916186b0d jedit-20210715.tar.gz
+beb99f2cb0bd4e595c5c597d3970c46aa21616e4 jedit-20210717.tar.gz
+33dd96cd83f2c6a26c035b7a0ee57624655224c5 jedit-20210724.tar.gz
+0e4fd4d66388ddc760fa5fbd8d4a9a3b77cf59c7 jedit-20210802.tar.gz
+258d527819583d740a3aa52dfef630eed389f8c6 jedit-20211019.tar.gz
+f4f3fcbd54488297a5d2fcd23a2595912d5ba80b jedit-20211103.tar.gz
+44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
+a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
+4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
+9c221fe71af8a063fcffcce21672a97aea0a8d5b jedit_build-20120313.tar.gz
+ed72630f307729df08fdedb095f0af8725f81b9c jedit_build-20120327.tar.gz
+6425f622625024c1de27f3730d6811f6370a19cd jedit_build-20120414.tar.gz
+7b012f725ec1cc102dc259df178d511cc7890bba jedit_build-20120813.tar.gz
+8e1d36f5071e3def2cb281f7fefe9f52352cb88f jedit_build-20120903.tar.gz
+8fa0c67f59beba369ab836562eed4e56382f672a jedit_build-20121201.tar.gz
+06e9be2627ebb95c45a9bcfa025d2eeef086b408 jedit_build-20130104.tar.gz
+c85c0829b8170f25aa65ec6852f505ce2a50639b jedit_build-20130628.tar.gz
+5de3e399be2507f684b49dfd13da45228214bbe4 jedit_build-20130905.tar.gz
+87136818fd5528d97288f5b06bd30c787229eb0d jedit_build-20130910.tar.gz
+c63189cbe39eb8104235a0928f579d9523de78a9 jedit_build-20130925.tar.gz
+65cc13054be20d3a60474d406797c32a976d7db7 jedit_build-20130926.tar.gz
+30ca171f745adf12b65c798c660ac77f9c0f9b4b jedit_build-20131106.tar.gz
+054c1300128f8abd0f46a3e92c756ccdb96ff2af jedit_build-20140405.tar.gz
+4a963665537ea66c69de4d761846541ebdbf69f2 jedit_build-20140511.tar.gz
+a9d637a30f6a87a3583f265da51e63e3619cff52 jedit_build-20140722.tar.gz
+f29391c53d85715f8454e1aaa304fbccc352928f jedit_build-20141018.tar.gz
+d7206d4c9d14d3f4c8115422b7391ffbcc6e80b4 jedit_build-20141026.tar.gz
+f15d36abc1780875a46b6dbd4568e43b776d5db6 jedit_build-20141104.tar.gz
+14ce124c897abfa23713928dc034d6ef0e1c5031 jedit_build-20150228.tar.gz
+b5f7115384c167559211768eb5fe98138864473b jedit_build-20151023.tar.gz
+8ba7b6791be788f316427cdcd805daeaa6935190 jedit_build-20151124.tar.gz
+c70c5a6c565d435a09a8639f8afd3de360708e1c jedit_build-20160330.tar.gz
+d4e1496c257659cf15458d718f4663cdd95a404e jedit_build-20161024.tar.gz
+d806c1c26b571b5b4ef05ea11e8b9cf936518e06 jedit_build-20170319.tar.gz
+7bcb202e13358dd750e964b2f747664428b5d8b3 jedit_build-20180417.tar.gz
+23c8a05687d05a6937f7d600ac3aa19e3ce59c9c jedit_build-20180504.tar.gz
+9c64ee0705e5284b507ca527196081979d689519 jedit_build-20181025.tar.gz
+cfa65bf8720b9b798ffa0986bafbc8437f44f758 jedit_build-20181026.tar.gz
+847492b75b38468268f9ea424d27d53f2d95cef4 jedit_build-20181203.tar.gz
+536a38ed527115b4bf2545a2137ec57b6ffad718 jedit_build-20190120.tar.gz
+58b9f03e5ec0b85f8123c31f5d8092dae5803773 jedit_build-20190130.tar.gz
+ec0aded5f2655e2de8bc4427106729e797584f2f jedit_build-20190224.tar.gz
+1e53598a02ec8d8736b15f480cbe2c84767a7827 jedit_build-20190508.tar.gz
+b9c6f49d3f6ebe2e85a50595ce7412d01a4314ac jedit_build-20190717.tar.gz
+1c753beb93e92e95e99e8ead23a68346bd1af44a jedit_build-20200610.tar.gz
+533b1ee6459f59bcbe4f09e214ad2cb990fb6952 jedit_build-20200908.tar.gz
+f9966b5ed26740bb5b8bddbfe947fcefaea43d4d jedit_build-20201223.tar.gz
+0bdbd36eda5992396e9c6b66aa24259d4dd7559c jedit_build-20210201.tar.gz
+a0744f1948abdde4bfb51dd4769b619e7444baf1 jedit_build-20210510-1.tar.gz
+837d6c8f72ecb21ad59a2544c69aadc9f05684c6 jedit_build-20210510.tar.gz
+7bdae3d24b10261f6cb277446cf9ecab6062bd6f jedit_build-20210708.tar.gz
+0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa jfreechart-1.0.14-1.tar.gz
+8122526f1fc362ddae1a328bdbc2152853186fee jfreechart-1.0.14.tar.gz
+d911f63a5c9b4c7335bb73f805cb1711ce017a84 jfreechart-1.5.0.tar.gz
+d84b7d8ef273afec55284327fca7dd20f5ecb77a jfreechart-1.5.1.tar.gz
+6fa0c221ef55919b684449f0111a8112358e94ff jfreechart-1.5.3.tar.gz
+c8a19a36adf6cefa779d85f22ded2f4654e68ea5 jortho-1.0-1.tar.gz
+2155e0bdbd29cd3d2905454de2e7203b9661d239 jortho-1.0-2.tar.gz
+ffe179867cf5ffaabbb6bb096db9bdc0d7110065 jortho-1.0.tar.gz
+6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
+afb04f4048a87bb888fe7b05b0139cb060c7925b kodkodi-1.5.2-1.tar.gz
+5f95c96bb99927f3a026050f85bd056f37a9189e kodkodi-1.5.2.tar.gz
+0634a946b216f7f07f1a0f7e28cf345daa28828f kodkodi-1.5.3.tar.gz
+52e95b3493d71902f9df89d0bb59d0046a5f0c63 kodkodi-1.5.4-1.tar.gz
+267189c637de26cf304d699cfa95389da002b250 kodkodi-1.5.4.tar.gz
+3ecdade953bb455ed2907952be287d7e5cf6533b kodkodi-1.5.5.tar.gz
+8aa939f5127290eb9a99952d375be9ffbf90c43b kodkodi-1.5.6-1.tar.gz
+6b12bf3f40b16fae8ff22aa39171fa018d107cb3 kodkodi-1.5.6.tar.gz
+c8b2e632f3ab959a4e037833a45e6360c8b72a99 kodkodi-1.5.7.tar.gz
+377e36efb8608e6c828c7718d890e97fde2006a4 linux_app-20131007.tar.gz
+759848095e2ad506083d92b5646947e3c32f27a0 linux_app-20191223.tar.gz
+1a449ce69ac874e21804595d16aaaf5a0d0d0c10 linux_app-20200110.tar.gz
+0aab4f73ff7f5e36f33276547e10897e1e56fb1d macos_app-20130716.tar.gz
+ad5d0e640ce3609a885cecab645389a2204e03bb macos_app-20150916.tar.gz
+400af57ec5cd51f96928d9de00d077524a6fe316 macos_app-20181205.tar.gz
+3bc42b8e22f0be5ec5614f1914066164c83498f8 macos_app-20181208.tar.gz
+5fb1a2d21b220d0e588790c0203ac87c10ed0870 minisat-2.2.1-1.tar.gz
+ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1 minisat-2.2.1.tar.gz
+eda10c62da927a842c0a8881f726eac85e1cb4f7 naproche-20210122.tar.gz
+edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz
+d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300 naproche-20210129.tar.gz
+810ee0f35adada9bf970c33fd80b986ab2255bf3 naproche-20210201.tar.gz
+37bb6d934cfaf157efcadb349a0244d145ce15b0 naproche-20211211.tar.gz
+d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
+4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
+77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
+9c02ecf93863c3289002c5e5ac45a83e2505984c naproche-755224402e36.tar.gz
+e1b34e8f54e7e5844873612635444fed434718a1 naproche-7d0947a91dd5.tar.gz
+26df569cee9c2fd91b9ac06714afd43f3b37a1dd nunchaku-0.3.tar.gz
+e573f2cbb57eb7b813ed5908753cfe2cb41033ca nunchaku-0.5.tar.gz
+3d7b7690dfd09e25ad56e64b519f61f06e3ab706 old_vampire-4.2.2.tar.gz
+fe57793aca175336deea4f5e9c0d949a197850ac opam-1.2.2.tar.gz
+eb499a18e7040ca0fe1ca824c9dcb2087c47c9ba opam-2.0.3-1.tar.gz
+002f74c9e65e650de2638bf54d7b012b8de76c28 opam-2.0.3.tar.gz
+ddb3b438430d9565adbf5e3d913bd52af8337511 opam-2.0.6.tar.gz
+fc66802c169f44511d3be30435eb89a11e635742 opam-2.0.7.tar.gz
+108e947d17e9aa6170872614492d8f647802f483 opam-2.1.0.tar.gz
+f8d0218371457eabe2b4214427d9570de92ed861 pdfjs-2.12.313.tar.gz
+1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
+a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz
+7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz
+b3d776e6744f0cd2773d467bc2cfe1de3d1ca2fd polyml-5.5.0-3.tar.gz
+1812e9fa6d163f63edb93e37d1217640a166cf3e polyml-5.5.0.tar.gz
+36f5b8224f484721749682a3655c796a55a2718d polyml-5.5.1-1.tar.gz
+36f78f27291a9ceb13bf1120b62a45625afd44a6 polyml-5.5.1.tar.gz
+a588640dbf5da9ae15455b02ef709764a48637dc polyml-5.5.2-1.tar.gz
+4b690390946f7bfb777b89eb16d6f08987cca12f polyml-5.5.2-2.tar.gz
+5b31ad8556e41dfd6d5e85f407818be399aa3d2a polyml-5.5.2-3.tar.gz
+532f6e8814752aeb406c62fabcfd2cc05f8a7ca8 polyml-5.5.2.tar.gz
+1c53f699d35c0db6c7cf4ea51f2310adbd1d0dc5 polyml-5.5.3-20150820.tar.gz
+b4b624fb5f34d1dc814fb4fb469fafd7d7ea018a polyml-5.5.3-20150908.tar.gz
+b668e1f43a41608a8eb365c5e19db6c54c72748a polyml-5.5.3-20150911.tar.gz
+1f5cd9b1390dab13861f90dfc06d4180cc107587 polyml-5.5.3-20150916.tar.gz
+f78896e588e8ebb4da57bf0c95210b0f0fa9e551 polyml-5.6-1.tar.gz
+21fa0592b7dfd23269063f42604438165630c0f0 polyml-5.6-2.tar.gz
+03ba81e595fa6d6df069532d67ad3195c37d9046 polyml-5.6-20151123.tar.gz
+822f489c18e38ce5ef979ec21dccce4473e09be6 polyml-5.6-20151206.tar.gz
+bd6a448f0e0d5787747f4f30ca661f9c1868e4a7 polyml-5.6-20151223.tar.gz
+5b70c12c95a90d858f90c1945011289944ea8e17 polyml-5.6-20160118.tar.gz
+5b19dc93082803b82aa553a5cfb3e914606c0ffd polyml-5.6.tar.gz
+80b923fca3533bf291ff9da991f2262a98b68cc4 polyml-5.7-20170217.tar.gz
+381a70cecf0fdee47f6842e2bdb5107ed52adab6 polyml-5.7.1-1.tar.gz
+39dac33b569ac66f76126b8f4edc6d9227bd8a63 polyml-5.7.1-2.tar.gz
+0b896ccc35bd3f2541cd55e6f0ed14637ed9fc68 polyml-5.7.1-4.tar.gz
+262450ac9966abebae2e1d4f9ae703cfe0f5d8d9 polyml-5.7.1-5.tar.gz
+1aeb57877d694db7fe4d4395287cddf3bc77710b polyml-5.7.1-6.tar.gz
+e3e7e20b1e0e5d5d68df4cd4caa1e1a7410d46b6 polyml-5.7.1-7.tar.gz
+1430533c09b17f8be73798a47a5f409d43a04cf4 polyml-5.7.1-8.tar.gz
+171b5783b88522a35e4822b19ef8ba838c04f494 polyml-5.7.1.tar.gz
+5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
+51e024225b460900da5279f0b91b217085f98cf9 polyml-5.8-20190220.tar.gz
+20a83fa58d497b533150defe39bcd4540529b25f polyml-5.8-20190306.tar.gz
+9f0e9cd10df4c3383b063eb076e8b698ca50c3d0 polyml-5.8.1-20191101.tar.gz
+f46deb909d645ac8c140968e4d32b5763beb9add polyml-5.8.1-20191113.tar.gz
+36a40a981b57daae0463d14940a8edf6fa1af179 polyml-5.8.1-20191114.tar.gz
+525b05536b08c11a1eae943fe6818a8622326084 polyml-5.8.1-20191124.tar.gz
+9043828803483ca14df64488dff014ad050a6d34 polyml-5.8.1-20200228.tar.gz
+1186607e2c43b77db86731f12fbedb531ca50a21 polyml-5.8.1-20200708.tar.gz
+22ae16bf7850e73b903d2ca8eb506da05b441cf3 polyml-5.8.1.tar.gz
+cb8e85387315f62dcfc6b21ec378186e58068f76 polyml-5.8.2.tar.gz
+d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
+fb40145228f84513a9b083b54678a7d61b9c34c4 polyml-5.9-5d4caa8f7148.tar.gz
+0f1c903b043acf7b221821d8b6374b3f943a122b polyml-5.9-610a153b941d.tar.gz
+5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
+7056b285af67902b32f5049349a064f073f05860 polyml-5.9-cc80e2b43c38.tar.gz
+0c396bd6b46ff11a2432b91aab2be0248bd9b0a4 polyml-5.9.tar.gz
+49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
+2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
+8e83fb5088cf265902b8da753a8eac5fe3f6a14b polyml-test-159dc81efc3b.tar.gz
+b80c17398293d0c8f8d9923427176efb33cf2d89 polyml-test-15c840d48c9a.tar.gz
+a0064c157a59e2706e18512a49a6dca914fa17fc polyml-test-1b2dcf8f5202.tar.gz
+4e6543dbbb2b2aa402fd61428e1c045c48f18b47 polyml-test-79534495ee94.tar.gz
+853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e polyml-test-7a7b742897e9.tar.gz
+85bfda83d138e936fdafd68ed3627b1058e5c2c3 polyml-test-7e49fce62e3d.tar.gz
+c629cd499a724bbe37b962f727e4ff340c50299d polyml-test-8529546198aa.tar.gz
+7df4857d73dbc9edda25a6ad329e47639e70fadf polyml-test-8fda4fd22441.tar.gz
+2b7c02b67feb2f44dda6938a7244f4257e7c580c polyml-test-905dae2ebfda.tar.gz
+3dfdc58e5d9b28f038a725e05c9c2f2ce0bb2632 polyml-test-a3cfdf648da-1.tar.gz
+e2f075b0cc709f4f7f6492b725362f9010b2c6d1 polyml-test-a3cfdf648da-2.tar.gz
+33568f69ce813b7405386ddbefa14ad0342bb8f0 polyml-test-a3cfdf648da.tar.gz
+4bedaac4f1fb9a9199aa63695735063c47059003 polyml-test-a444f281ccec.tar.gz
+f3031692edcc5d8028a42861e4e40779f0f9d3e1 polyml-test-b68438d33c69.tar.gz
+cb2318cff6ea9293cd16a4435a4fe28ad9dbe0b8 polyml-test-cf46747fee61.tar.gz
+67ffed2f98864721bdb1e87f0ef250e4c69e6160 polyml-test-d68c6736402e.tar.gz
+b4ceeaac47f3baae41c2491a8368b03217946166 polyml-test-e7a662f8f9c4.tar.gz
+609c7d09d3ed01156ff91261e801e2403ff93729 polyml-test-e8d82343b692.tar.gz
+b6d87466e9b44e8ef4a2fac74c96b139080a506a polyml-test-f54aa41240d0.tar.gz
+d365f3fc11c2427cafc62b3c79951880a1476ebb polyml-test-f86ae3dc1686.tar.gz
+a619177143fea42a464f49bb864665407c07a16c polyml-test-fb4f42af00fa.tar.gz
+53123dc011b2d4b4e8fe307f3c9fa355718ad01a postgresql-42.1.1.tar.gz
+3a5d31377ec07a5069957f5477a4848cfc89a594 postgresql-42.1.4.tar.gz
+7d6ef4320d5163ceb052eb83c1cb3968f099a422 postgresql-42.2.18.tar.gz
+e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40 postgresql-42.2.2.tar.gz
+1aaa38429dc9aa7b1095394d9a7ba3465f8d6e04 postgresql-42.2.24.tar.gz
+231b33c9c3c27d47e3ba01b399103d70509e0731 postgresql-42.2.5.tar.gz
+6335fbc0658e447b5b9bc48c9ad36e33a05bb72b postgresql-42.2.9.tar.gz
+f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
+0885e1f1d8feaca78d2f204b6487e6eec6dfab4b scala-2.10.0.tar.gz
+f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc scala-2.10.1.tar.gz
+207e4916336335386589c918c5e3f3dcc14698f2 scala-2.10.2.tar.gz
+21c8ee274ffa471ab54d4196ecd827bf3d43e591 scala-2.10.3.tar.gz
+d4688ddaf83037ca43b5bf271325fc53ae70e3aa scala-2.10.4.tar.gz
+44d12297a78988ffd34363535e6a8e0d94c1d8b5 scala-2.11.0.tar.gz
+14f20de82b25215a5e055631fb147356400625e6 scala-2.11.1.tar.gz
+4fe9590d08e55760b86755d3fab750e90ac6c380 scala-2.11.2.tar.gz
+27a296495b2167148de06314ed9a942f2dbe23fe scala-2.11.4.tar.gz
+4b24326541161ce65424293ca9da3e7c2c6ab452 scala-2.11.5.tar.gz
+e7cf20e3b27c894c6127c7a37042c1667f57385e scala-2.11.6.tar.gz
+4810c1b00719115df235be1c5991aa6ea7186134 scala-2.11.7.tar.gz
+3eca4b80710996fff87ed1340dcea2c5f6ebf4f7 scala-2.11.8.tar.gz
+0004e53f885fb165b50c95686dec40d99ab0bdbd scala-2.12.0.tar.gz
+059cbdc58d36e3ac1fffcccd9139ecd34f271882 scala-2.12.10.tar.gz
+82056106aa6fd37c159ea76d16096c20a749cccd scala-2.12.11.tar.gz
+fe7ff585acffaad7f0dd4a1d079134d15c26ed0d scala-2.12.12.tar.gz
+74a8c3dab3a25a87357996ab3e95d825dc820fd0 scala-2.12.2.tar.gz
+d66796a68ec3254b46b17b1f8ee5bcc56a93aacf scala-2.12.3.tar.gz
+1636556167dff2c191baf502c23f12e09181ef78 scala-2.12.4.tar.gz
+8171f494bba54fb0d01c887f889ab8fde7171c2a scala-2.12.5.tar.gz
+54c1b06fa2c5f6c2ab3d391ef342c0532cd7f392 scala-2.12.6.tar.gz
+02358f00acc138371324b6248fdb62eed791c6bd scala-2.12.7.tar.gz
+201c05ae9cc382ee6c08af49430e426f6bbe0d5a scala-2.12.8.tar.gz
+a0622fe75c3482ba7dc3ce74d58583b648a1ff0d scala-2.13.4-1.tar.gz
+ec53cce3c5edda1145ec5d13924a5f9418995c15 scala-2.13.4.tar.gz
+f51981baf34c020ad103b262f81796c37abcaa4a scala-2.13.5.tar.gz
+0a7cab09dec357dab7819273f2542ff1c3ea0968 scala-2.13.6.tar.gz
+1f8532dba290c6b2ef364632f3f92e71da93baba scala-2.13.7.tar.gz
+b447017e81600cc5e30dd61b5d4962f6da01aa80 scala-2.8.1.final.tar.gz
+5659440f6b86db29f0c9c0de7249b7e24a647126 scala-2.9.2.tar.gz
+abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
+cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
+edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
+43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
+b016a785f1f78855c00d351ff598355c3b87450f sqlite-jdbc-3.18.0-1.tar.gz
+b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf sqlite-jdbc-3.18.0.tar.gz
+e56117a67ab01fb24c7fc054ede3160cefdac5f8 sqlite-jdbc-3.20.0.tar.gz
+27aeac6a91353d69f0438837798ac4ae6f9ff8c5 sqlite-jdbc-3.23.1.tar.gz
+4d17611857fa3a93944c1f159c0fd2a161967aaf sqlite-jdbc-3.27.2.1.tar.gz
+806be457eb79408fcc5a72aeca3f64b2d89a6b63 sqlite-jdbc-3.30.1.tar.gz
+cba2b194114216b226d75d49a70d1bd12b141ac8 sqlite-jdbc-3.32.3.2.tar.gz
+29306acd6ce9f4c87032b2c271c6df035fe7d4d3 sqlite-jdbc-3.34.0.tar.gz
+8a2ca4d02cfedbfe4dad4490f1ed3ddba33a009a sqlite-jdbc-3.36.0.3.tar.gz
+8d20968603f45a2c640081df1ace6a8b0527452a sqlite-jdbc-3.8.11.2.tar.gz
+2369f06e8d095f9ba26df938b1a96000e535afff ssh-java-20161009.tar.gz
+a2335d28b5b95d8d26500a53f1a9303fc5beaf36 ssh-java-20190323.tar.gz
+fdc415284e031ee3eb2f65828cbc6945736fe995 stack-1.9.1.tar.gz
+6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb stack-1.9.3.tar.gz
+f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
+ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
+fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.3.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
+44d67b6742919ce59a42368fc60e2afa210a3e42 sumatra_pdf-2.5.2.tar.gz
+89719a13bc92810730a430973684629426ed1b2a sumatra_pdf-3.0.tar.gz
+f5afcc82f8e734665d38867e99475d3ad0d5ed15 sumatra_pdf-3.1.1.tar.gz
+a45eca5c1277f42f87bb8dc12a3074ccf5488221 sumatra_pdf-3.1.2-1.tar.gz
+3b3239b2e6f8062b90d819f3703e30a50f4fa1e7 sumatra_pdf-3.1.2-2.tar.gz
+8486387f61557147ec06b1f637117c017c8f0528 sumatra_pdf-3.1.2.tar.gz
+e8648878f908e93d64a393231ab21fdac976a9c2 sumatra_pdf-3.3.3.tar.gz
+869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd vampire-1.0.tar.gz
+399f687b56575b93e730f68c91c989cb48aa34d8 vampire-4.2.2.tar.gz
+0402978ca952f08eea73e483b694928ac402a304 vampire-4.5.1-1.tar.gz
+26d9d171e169c6420a08aa99eda03ef5abb9c545 vampire-4.5.1.tar.gz
+4571c042efd6fc3097e105a528826959acd888a3 vampire-4.6.tar.gz
+98c5c79fef7256db9f64c8feea2edef0a789ce46 verit-2016post.tar.gz
+52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d verit-2020.10-rmx-1.tar.gz
+b6706e74e20e14038e9b38f0acdb5639a134246a verit-2020.10-rmx.tar.gz
+d33e1e36139e86b9e9a48d8b46a6f90d7863a51c verit-2021.06-rmx-1.tar.gz
+c11d1120fcefaec79f099fe2be05b03cd2aed8b9 verit-2021.06-rmx.tar.gz
+b576fd5d89767c1067541d4839fb749c6a68d22c verit-2021.06.1-rmx.tar.gz
+19c6e5677b0a26cbc5805da79d00d06a66b7a671 verit-2021.06.2-rmx.tar.gz
+c4666a6d8080b5e376b50471fd2d9edeb1f9c988 vscode_extension-20220324.tar.gz
+86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz
+67b271186631f84efd97246bf85f6d8cfaa5edfd vscodium-1.65.2.tar.gz
+81d21dfd0ea5c58f375301f5166be9dbf8921a7a windows_app-20130716.tar.gz
+fe15e1079cf5ad86f3cbab4553722a0d20002d11 windows_app-20130905.tar.gz
+e6a43b7b3b21295853bd2a63b27ea20bd6102f5f windows_app-20130906.tar.gz
+8fe004aead867d4c82425afac481142bd3f01fb0 windows_app-20130908.tar.gz
+d273abdc7387462f77a127fa43095eed78332b5c windows_app-20130909.tar.gz
+c368908584e2bca38b3bcb20431d0c69399fc2f0 windows_app-20131130.tar.gz
+c3f5285481a95fde3c1961595b4dd0311ee7ac1f windows_app-20131201.tar.gz
+14807afcf69e50d49663d5b48f4b103f30ae842b windows_app-20150821.tar.gz
+ed106181510e825bf959025d8e0a2fc3f78e7a3f windows_app-20180417.tar.gz
+e809e4ab0d33cb413a7c47dd947e7dbdfcca1c24 windows_app-20181002.tar.gz
+9e96ba128a0617a9020a178781df49d48c997e19 windows_app-20181006.tar.gz
+1c36a840320dfa9bac8af25fc289a4df5ea3eccb xz-java-1.2-1.tar.gz
+2ae13aa17d0dc95ce254a52f1dba10929763a10d xz-java-1.2.tar.gz
+c22196148fcace5443a933238216cff5112948df xz-java-1.5.tar.gz
+4368ee09154dff42666a8c87e072261745619e51 xz-java-1.6.tar.gz
+63f5fa09e92a895cb9aea27d7142abc86c487d25 xz-java-1.8.tar.gz
+a06875bdadd653627a68d2083c5178c1264d8fc6 xz-java-1.9.tar.gz
+4530a1aa6f4498ee3d78d6000fa71a3f63bd077f yices-1.0.28.tar.gz
+3a8f77822278fe9250890e357248bc678d8fac95 z3-3.2-1.tar.gz
+12ae71acde43bd7bed1e005c43034b208c0cba4c z3-3.2.tar.gz
+d94a716502c8503d63952bcb4d4176fac8b28704 z3-4.0.tar.gz
+86e721296c400ada440e4a9ce11b9e845eec9e25 z3-4.3.0.tar.gz
+a8917c31b31c182edeec0aaa48870844960c8a61 z3-4.3.2pre-1.tar.gz
+06b30757ff23aefbc30479785c212685ffd39f4d z3-4.3.2pre.tar.gz
+ed37c451b9b748901295898bf713b24d22cc8c17 z3-4.4.0_4.4.1.tar.gz
+93e7e4bddc6afcf87fe2b6656cfcb1b1acd0a4f8 z3-4.4.0pre-1.tar.gz
+b1bc411c2083fc01577070b56b94514676f53854 z3-4.4.0pre-2.tar.gz
+4c366ab255d2e9343fb635d44d4d55ddd24c76d0 z3-4.4.0pre-3.tar.gz
+517ba7b94c1985416c5b411c8ae84456367eb231 z3-4.4.0pre.tar.gz
+6e5d7a65757cac970eb5ad28cd62130c99f42c23 z3-4.4.1.tar.gz
+aa20745f0b03e606b1a4149598e0c7572b63c657 z3-4.8.3.tar.gz
+9dfeb39c87393af7b6a34118507637aa53aca05e zipperposition-2.0-1.tar.gz
+b884c60653002a7811e3b652ae0515e825d98667 zipperposition-2.0.tar.gz
+b129ec4f8a4474953ec107536298ee08a01fbebc zipperposition-2.1-1.tar.gz
+5f53a77efb5cbe9d0c95d74a1588cc923bd711a7 zipperposition-2.1.tar.gz
diff -r 83940294cc67 -r 84c88a274ffd Admin/components/main
--- a/Admin/components/main Mon Mar 28 17:16:42 2022 +0200
+++ b/Admin/components/main Tue Mar 29 12:55:25 2022 +0200
@@ -9,7 +9,7 @@
flatlaf-1.6.4
idea-icons-20210508
isabelle_fonts-20211004
-isabelle_setup-20211109
+isabelle_setup-20220323
jdk-17.0.2+8
jedit-20211103
jfreechart-1.5.3
@@ -29,6 +29,8 @@
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx
+vscode_extension-20220325
+vscodium-1.65.2
xz-java-1.9
z3-4.4.0_4.4.1
zipperposition-2.1-1
diff -r 83940294cc67 -r 84c88a274ffd Admin/lib/Tools/build_setup
--- a/Admin/lib/Tools/build_setup Mon Mar 28 17:16:42 2022 +0200
+++ b/Admin/lib/Tools/build_setup Tue Mar 29 12:55:25 2022 +0200
@@ -11,7 +11,7 @@
function usage()
{
echo
- echo "Usage: isabelle $PRG [OPTIONS] COMPONENT_DIR"
+ echo "Usage: isabelle $PRG COMPONENT_DIR"
echo
echo " Build component for Isabelle/Java setup tool."
echo
diff -r 83940294cc67 -r 84c88a274ffd NEWS
--- a/NEWS Mon Mar 28 17:16:42 2022 +0200
+++ b/NEWS Tue Mar 29 12:55:25 2022 +0200
@@ -15,9 +15,16 @@
*** Isabelle/VSCode Prover IDE ***
-* Command-line tools "isabelle vscode_setup" and "isabelle vscode"
-provide convenient access to a well-defined version of VSCodium
-(open-source distribution of VSCode without MS telemetry).
+* VSCodium, an open-source distribution of VSCode without MS telemetry,
+has been bundled with Isabelle as add-on component. The command-line
+tool "isabelle vscode" automatically configures it as Isabelle/VSCode
+and starts the application. This includes special support for the
+UTF-8-Isabelle encoding and the corresponding Isabelle fonts.
+
+* Command-line tools "isabelle electron" and "isabelle node" provide
+access to the underlying technologies of VSCodium, for use in other
+applications. This essentially provides a freely programmable Chromium
+browser engine that works uniformly on all platforms.
*** HOL ***
@@ -79,6 +86,8 @@
* Meson
- Added support for polymorphic "using" facts. Minor INCOMPATIBILITY.
+* (Co)datatype package:
+ - Lemma map_ident_strong is now generated for all BNFs.
*** System ***
diff -r 83940294cc67 -r 84c88a274ffd etc/build.props
--- a/etc/build.props Mon Mar 28 17:16:42 2022 +0200
+++ b/etc/build.props Tue Mar 29 12:55:25 2022 +0200
@@ -1,6 +1,6 @@
title = Isabelle/Scala
module = $ISABELLE_HOME/lib/classes/isabelle.jar
-main = isabelle.jedit.Main
+main = isabelle.jedit.JEdit_Main
resources = \
lib/services/java.nio.charset.spi.CharsetProvider:META-INF/services/ \
lib/logo/isabelle_transparent-32.gif:isabelle/ \
@@ -219,11 +219,10 @@
src/Tools/VSCode/src/lsp.scala \
src/Tools/VSCode/src/preview_panel.scala \
src/Tools/VSCode/src/state_panel.scala \
- src/Tools/VSCode/src/textmate_grammar.scala \
+ src/Tools/VSCode/src/vscode_main.scala \
src/Tools/VSCode/src/vscode_model.scala \
src/Tools/VSCode/src/vscode_rendering.scala \
src/Tools/VSCode/src/vscode_resources.scala \
- src/Tools/VSCode/src/vscode_setup.scala \
src/Tools/VSCode/src/vscode_spell_checker.scala \
src/Tools/jEdit/src/active.scala \
src/Tools/jEdit/src/base_plugin.scala \
@@ -247,6 +246,7 @@
src/Tools/jEdit/src/jedit_bibtex.scala \
src/Tools/jEdit/src/jedit_editor.scala \
src/Tools/jEdit/src/jedit_lib.scala \
+ src/Tools/jEdit/src/jedit_main.scala \
src/Tools/jEdit/src/jedit_options.scala \
src/Tools/jEdit/src/jedit_plugins.scala \
src/Tools/jEdit/src/jedit_rendering.scala \
@@ -254,7 +254,6 @@
src/Tools/jEdit/src/jedit_sessions.scala \
src/Tools/jEdit/src/jedit_spell_checker.scala \
src/Tools/jEdit/src/keymap_merge.scala \
- src/Tools/jEdit/src/main.scala \
src/Tools/jEdit/src/main_plugin.scala \
src/Tools/jEdit/src/monitor_dockable.scala \
src/Tools/jEdit/src/output_dockable.scala \
diff -r 83940294cc67 -r 84c88a274ffd lib/Tools/electron
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/electron Tue Mar 29 12:55:25 2022 +0200
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: run the Electron.js framework within the Isabelle environment
+
+if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then
+ echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component'
+ exit 2
+else
+ exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
+fi
diff -r 83940294cc67 -r 84c88a274ffd lib/Tools/node
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/node Tue Mar 29 12:55:25 2022 +0200
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: run the Node.js framework within the Isabelle environment
+
+if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then
+ echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component'
+ exit 2
+else
+ export ELECTRON_RUN_AS_NODE=1
+ exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
+fi
diff -r 83940294cc67 -r 84c88a274ffd lib/Tools/vscode
--- a/lib/Tools/vscode Mon Mar 28 17:16:42 2022 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# DESCRIPTION: run Isabelle/VSCode (requires "vscodium-X.YY.Z" component)
-
-isabelle vscode_setup || exit "$?"
-
-exec "$ISABELLE_VSCODIUM_HOME/vscodium" \
- --locale en-US \
- --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
- --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
- "$@"
diff -r 83940294cc67 -r 84c88a274ffd src/Doc/Datatypes/Datatypes.thy
--- a/src/Doc/Datatypes/Datatypes.thy Mon Mar 28 17:16:42 2022 +0200
+++ b/src/Doc/Datatypes/Datatypes.thy Tue Mar 29 12:55:25 2022 +0200
@@ -982,6 +982,9 @@
\item[\t.\\hthm{map_ident}\rm:] ~ \\
@{thm list.map_ident[no_vars]}
+\item[\t.\\hthm{map_ident_strong}\rm:] ~ \\
+@{thm list.map_ident_strong[no_vars]}
+
\item[\t.\\hthm{map_transfer} \[transfer_rule]\\rm:] ~ \\
@{thm list.map_transfer[no_vars]} \\
The \[transfer_rule]\ attribute is set by the \transfer\ plugin
diff -r 83940294cc67 -r 84c88a274ffd src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy Mon Mar 28 17:16:42 2022 +0200
+++ b/src/Doc/JEdit/JEdit.thy Tue Mar 29 12:55:25 2022 +0200
@@ -263,7 +263,7 @@
session \<^verbatim>\ROOT\ entry in the editor to facilitate editing of the main
session. The \<^verbatim>\-A\ option specifies and alternative ancestor session for
option \<^verbatim>\-R\: this allows to restructure the hierarchy of session images on
- the spot.
+ the spot. Options \<^verbatim>\-R\ and \<^verbatim>\-l\ are mutually exclusive.
The \<^verbatim>\-i\ option includes additional sessions into the name-space of
theories: multiple occurrences are possible.
diff -r 83940294cc67 -r 84c88a274ffd src/Doc/System/Environment.thy
--- a/src/Doc/System/Environment.thy Mon Mar 28 17:16:42 2022 +0200
+++ b/src/Doc/System/Environment.thy Tue Mar 29 12:55:25 2022 +0200
@@ -459,7 +459,7 @@
text \
The subsequent example creates a raw Java process on the command-line and
invokes the main Isabelle application entry point:
- @{verbatim [display] \isabelle_java -Djava.awt.headless=false isabelle.jedit.Main\}
+ @{verbatim [display] \isabelle_java -Djava.awt.headless=false isabelle.jedit.JEdit_Main\}
\
diff -r 83940294cc67 -r 84c88a274ffd src/HOL/Decision_Procs/Cooper.thy
--- a/src/HOL/Decision_Procs/Cooper.thy Mon Mar 28 17:16:42 2022 +0200
+++ b/src/HOL/Decision_Procs/Cooper.thy Tue Mar 29 12:55:25 2022 +0200
@@ -316,7 +316,7 @@
else if q = F then f p
else
let fp = f p
- in case fp of T \ T | F \ q | _ \ Or (f p) q)"
+ in case fp of T \ T | F \ q | _ \ Or fp q)"
definition evaldjf :: "('a \ fm) \ 'a list \ fm"
where "evaldjf f ps = foldr (djf f) ps F"
diff -r 83940294cc67 -r 84c88a274ffd src/HOL/Induct/QuoDataType.thy
--- a/src/HOL/Induct/QuoDataType.thy Mon Mar 28 17:16:42 2022 +0200
+++ b/src/HOL/Induct/QuoDataType.thy Tue Mar 29 12:55:25 2022 +0200
@@ -5,6 +5,11 @@
section\Defining an Initial Algebra by Quotienting a Free Algebra\
+text \For Lawrence Paulson's paper ``Defining functions on equivalence classes''
+\emph{ACM Transactions on Computational Logic} \textbf{7}:40 (2006), 658--675,
+illustrating bare-bones quotient constructions. Any comparison using lifting and transfer
+should be done in a separate theory.\
+
theory QuoDataType imports Main begin
subsection\Defining the Free Algebra\
@@ -163,9 +168,7 @@
by (auto simp add: Msg_def quotient_def intro: msgrel_refl)
lemma inj_on_Abs_Msg: "inj_on Abs_Msg Msg"
-apply (rule inj_on_inverseI)
-apply (erule Abs_Msg_inverse)
-done
+ by (meson Abs_Msg_inject inj_onI)
text\Reduces equality on abstractions to equality on representatives\
declare inj_on_Abs_Msg [THEN inj_on_eq_iff, simp]
@@ -203,11 +206,8 @@
text\Case analysis on the representation of a msg as an equivalence class.\
lemma eq_Abs_Msg [case_names Abs_Msg, cases type: msg]:
- "(!!U. z = Abs_Msg(msgrel``{U}) ==> P) ==> P"
-apply (rule Rep_Msg [of z, unfolded Msg_def, THEN quotientE])
-apply (drule arg_cong [where f=Abs_Msg])
-apply (auto simp add: Rep_Msg_inverse intro: msgrel_refl)
-done
+ "(\U. z = Abs_Msg (msgrel `` {U}) \ P) \ P"
+ by (metis Abs_Msg_cases Msg_def quotientE)
text\Establishing these two equations is the point of the whole exercise\
theorem CD_eq [simp]: "Crypt K (Decrypt K X) = X"
@@ -234,32 +234,40 @@
UN_equiv_class [OF equiv_msgrel nonces_congruent])
lemma nonces_MPair [simp]: "nonces (MPair X Y) = nonces X \ nonces Y"
-apply (cases X, cases Y)
-apply (simp add: nonces_def MPair
- UN_equiv_class [OF equiv_msgrel nonces_congruent])
-done
+proof -
+ have "\U V. \X = Abs_Msg (msgrel `` {U}); Y = Abs_Msg (msgrel `` {V})\
+ \ nonces (MPair X Y) = nonces X \ nonces Y"
+ by (simp add: nonces_def MPair
+ UN_equiv_class [OF equiv_msgrel nonces_congruent])
+ then show ?thesis
+ by (meson eq_Abs_Msg)
+qed
lemma nonces_Crypt [simp]: "nonces (Crypt K X) = nonces X"
-apply (cases X)
-apply (simp add: nonces_def Crypt
- UN_equiv_class [OF equiv_msgrel nonces_congruent])
-done
+proof -
+ have "\U. X = Abs_Msg (msgrel `` {U}) \ nonces (Crypt K X) = nonces X"
+ by (simp add: nonces_def Crypt UN_equiv_class [OF equiv_msgrel nonces_congruent])
+ then show ?thesis
+ by (meson eq_Abs_Msg)
+qed
lemma nonces_Decrypt [simp]: "nonces (Decrypt K X) = nonces X"
-apply (cases X)
-apply (simp add: nonces_def Decrypt
- UN_equiv_class [OF equiv_msgrel nonces_congruent])
-done
+proof -
+ have "\U. X = Abs_Msg (msgrel `` {U}) \ nonces (Decrypt K X) = nonces X"
+ by (simp add: nonces_def Decrypt UN_equiv_class [OF equiv_msgrel nonces_congruent])
+ then show ?thesis
+ by (meson eq_Abs_Msg)
+qed
subsection\The Abstract Function to Return the Left Part\
definition
- left :: "msg \ msg" where
- "left X = Abs_Msg (\U \ Rep_Msg X. msgrel``{freeleft U})"
+ left :: "msg \ msg"
+ where "left X = Abs_Msg (\U \ Rep_Msg X. msgrel``{freeleft U})"
lemma left_congruent: "(\U. msgrel `` {freeleft U}) respects msgrel"
-by (auto simp add: congruent_def msgrel_imp_eqv_freeleft)
+ by (auto simp add: congruent_def msgrel_imp_eqv_freeleft)
text\Now prove the four equations for \<^term>\left\\
@@ -268,69 +276,51 @@
UN_equiv_class [OF equiv_msgrel left_congruent])
lemma left_MPair [simp]: "left (MPair X Y) = X"
-apply (cases X, cases Y)
-apply (simp add: left_def MPair
- UN_equiv_class [OF equiv_msgrel left_congruent])
-done
+ by (cases X, cases Y) (simp add: left_def MPair UN_equiv_class [OF equiv_msgrel left_congruent])
lemma left_Crypt [simp]: "left (Crypt K X) = left X"
-apply (cases X)
-apply (simp add: left_def Crypt
- UN_equiv_class [OF equiv_msgrel left_congruent])
-done
+ by (cases X) (simp add: left_def Crypt UN_equiv_class [OF equiv_msgrel left_congruent])
lemma left_Decrypt [simp]: "left (Decrypt K X) = left X"
-apply (cases X)
-apply (simp add: left_def Decrypt
- UN_equiv_class [OF equiv_msgrel left_congruent])
-done
+ by (metis CD_eq left_Crypt)
subsection\The Abstract Function to Return the Right Part\
definition
- right :: "msg \ msg" where
- "right X = Abs_Msg (\U \ Rep_Msg X. msgrel``{freeright U})"
+ right :: "msg \ msg"
+ where "right X = Abs_Msg (\U \ Rep_Msg X. msgrel``{freeright U})"
lemma right_congruent: "(\U. msgrel `` {freeright U}) respects msgrel"
-by (auto simp add: congruent_def msgrel_imp_eqv_freeright)
+ by (auto simp add: congruent_def msgrel_imp_eqv_freeright)
text\Now prove the four equations for \<^term>\right\\
lemma right_Nonce [simp]: "right (Nonce N) = Nonce N"
-by (simp add: right_def Nonce_def
- UN_equiv_class [OF equiv_msgrel right_congruent])
+ by (simp add: right_def Nonce_def
+ UN_equiv_class [OF equiv_msgrel right_congruent])
lemma right_MPair [simp]: "right (MPair X Y) = Y"
-apply (cases X, cases Y)
-apply (simp add: right_def MPair
- UN_equiv_class [OF equiv_msgrel right_congruent])
-done
+ by (cases X, cases Y) (simp add: right_def MPair UN_equiv_class [OF equiv_msgrel right_congruent])
lemma right_Crypt [simp]: "right (Crypt K X) = right X"
-apply (cases X)
-apply (simp add: right_def Crypt
- UN_equiv_class [OF equiv_msgrel right_congruent])
-done
+ by (cases X) (simp add: right_def Crypt UN_equiv_class [OF equiv_msgrel right_congruent])
lemma right_Decrypt [simp]: "right (Decrypt K X) = right X"
-apply (cases X)
-apply (simp add: right_def Decrypt
- UN_equiv_class [OF equiv_msgrel right_congruent])
-done
+ by (metis CD_eq right_Crypt)
subsection\Injectivity Properties of Some Constructors\
lemma NONCE_imp_eq: "NONCE m \ NONCE n \ m = n"
-by (drule msgrel_imp_eq_freenonces, simp)
+ by (drule msgrel_imp_eq_freenonces, simp)
text\Can also be proved using the function \<^term>\nonces\\
lemma Nonce_Nonce_eq [iff]: "(Nonce m = Nonce n) = (m = n)"
-by (auto simp add: Nonce_def msgrel_refl dest: NONCE_imp_eq)
+ by (auto simp add: Nonce_def msgrel_refl dest: NONCE_imp_eq)
lemma MPAIR_imp_eqv_left: "MPAIR X Y \ MPAIR X' Y' \ X \ X'"
-by (drule msgrel_imp_eqv_freeleft, simp)
+ by (drule msgrel_imp_eqv_freeleft, simp)
lemma MPair_imp_eq_left:
assumes eq: "MPair X Y = MPair X' Y'" shows "X = X'"
@@ -341,33 +331,27 @@
qed
lemma MPAIR_imp_eqv_right: "MPAIR X Y \ MPAIR X' Y' \ Y \ Y'"
-by (drule msgrel_imp_eqv_freeright, simp)
+ by (drule msgrel_imp_eqv_freeright, simp)
-lemma MPair_imp_eq_right: "MPair X Y = MPair X' Y' \ Y = Y'"
-apply (cases X, cases X', cases Y, cases Y')
-apply (simp add: MPair)
-apply (erule MPAIR_imp_eqv_right)
-done
+lemma MPair_imp_eq_right: "MPair X Y = MPair X' Y' \ Y = Y'"
+ by (metis right_MPair)
theorem MPair_MPair_eq [iff]: "(MPair X Y = MPair X' Y') = (X=X' & Y=Y')"
-by (blast dest: MPair_imp_eq_left MPair_imp_eq_right)
+ by (blast dest: MPair_imp_eq_left MPair_imp_eq_right)
lemma NONCE_neqv_MPAIR: "NONCE m \ MPAIR X Y \ False"
-by (drule msgrel_imp_eq_freediscrim, simp)
+ by (drule msgrel_imp_eq_freediscrim, simp)
theorem Nonce_neq_MPair [iff]: "Nonce N \ MPair X Y"
-apply (cases X, cases Y)
-apply (simp add: Nonce_def MPair)
-apply (blast dest: NONCE_neqv_MPAIR)
-done
+ by (cases X, cases Y) (use MPair NONCE_neqv_MPAIR Nonce_def in fastforce)
text\Example suggested by a referee\
theorem Crypt_Nonce_neq_Nonce: "Crypt K (Nonce M) \ Nonce N"
-by (auto simp add: Nonce_def Crypt dest: msgrel_imp_eq_freediscrim)
+ by (auto simp add: Nonce_def Crypt dest: msgrel_imp_eq_freediscrim)
text\...and many similar results\
theorem Crypt2_Nonce_neq_Nonce: "Crypt K (Crypt K' (Nonce M)) \ Nonce N"
-by (auto simp add: Nonce_def Crypt dest: msgrel_imp_eq_freediscrim)
+ by (auto simp add: Nonce_def Crypt dest: msgrel_imp_eq_freediscrim)
theorem Crypt_Crypt_eq [iff]: "(Crypt K X = Crypt K X') = (X=X')"
proof
@@ -428,32 +412,27 @@
"discrim X = the_elem (\U \ Rep_Msg X. {freediscrim U})"
lemma discrim_congruent: "(\U. {freediscrim U}) respects msgrel"
-by (auto simp add: congruent_def msgrel_imp_eq_freediscrim)
+ by (auto simp add: congruent_def msgrel_imp_eq_freediscrim)
text\Now prove the four equations for \<^term>\discrim\\
lemma discrim_Nonce [simp]: "discrim (Nonce N) = 0"
-by (simp add: discrim_def Nonce_def
- UN_equiv_class [OF equiv_msgrel discrim_congruent])
+ by (simp add: discrim_def Nonce_def
+ UN_equiv_class [OF equiv_msgrel discrim_congruent])
lemma discrim_MPair [simp]: "discrim (MPair X Y) = 1"
-apply (cases X, cases Y)
-apply (simp add: discrim_def MPair
- UN_equiv_class [OF equiv_msgrel discrim_congruent])
-done
+proof -
+ have "\U V. discrim (MPair (Abs_Msg (msgrel `` {U})) (Abs_Msg (msgrel `` {V}))) = 1"
+ by (simp add: discrim_def MPair UN_equiv_class [OF equiv_msgrel discrim_congruent])
+ then show ?thesis
+ by (metis eq_Abs_Msg)
+qed
lemma discrim_Crypt [simp]: "discrim (Crypt K X) = discrim X + 2"
-apply (cases X)
-apply (simp add: discrim_def Crypt
- UN_equiv_class [OF equiv_msgrel discrim_congruent])
-done
+ by (cases X) (use Crypt UN_equiv_class discrim_congruent discrim_def equiv_msgrel in fastforce)
lemma discrim_Decrypt [simp]: "discrim (Decrypt K X) = discrim X - 2"
-apply (cases X)
-apply (simp add: discrim_def Decrypt
- UN_equiv_class [OF equiv_msgrel discrim_congruent])
-done
-
+ by (cases X) (use Decrypt UN_equiv_class discrim_congruent discrim_def equiv_msgrel in fastforce)
end
diff -r 83940294cc67 -r 84c88a274ffd src/HOL/Induct/QuoNestedDataType.thy
--- a/src/HOL/Induct/QuoNestedDataType.thy Mon Mar 28 17:16:42 2022 +0200
+++ b/src/HOL/Induct/QuoNestedDataType.thy Tue Mar 29 12:55:25 2022 +0200
@@ -5,6 +5,11 @@
section\Quotienting a Free Algebra Involving Nested Recursion\
+text \This is the development promised in Lawrence Paulson's paper ``Defining functions on equivalence classes''
+\emph{ACM Transactions on Computational Logic} \textbf{7}:40 (2006), 658--675,
+illustrating bare-bones quotient constructions. Any comparison using lifting and transfer
+should be done in a separate theory.\
+
theory QuoNestedDataType imports Main begin
subsection\Defining the Free Algebra\
@@ -26,7 +31,7 @@
exprel :: "(freeExp * freeExp) set"
and exp_rel :: "[freeExp, freeExp] => bool" (infixl "\" 50)
where
- "X \ Y == (X,Y) \ exprel"
+ "X \ Y \ (X,Y) \ exprel"
| ASSOC: "PLUS X (PLUS Y Z) \ PLUS (PLUS X Y) Z"
| VAR: "VAR N \ VAR N"
| PLUS: "\X \ X'; Y \ Y'\ \ PLUS X Y \ PLUS X' Y'"
@@ -54,17 +59,9 @@
theorem equiv_list_exprel: "equiv UNIV (listrel exprel)"
using equiv_listrel [OF equiv_exprel] by simp
-
-lemma FNCALL_Nil: "FNCALL F [] \ FNCALL F []"
-apply (rule exprel.intros)
-apply (rule listrel.intros)
-done
-
lemma FNCALL_Cons:
- "\X \ X'; (Xs,Xs') \ listrel(exprel)\
- \ FNCALL F (X#Xs) \ FNCALL F (X'#Xs')"
-by (blast intro: exprel.intros listrel.intros)
-
+ "\X \ X'; (Xs,Xs') \ listrel(exprel)\ \ FNCALL F (X#Xs) \ FNCALL F (X'#Xs')"
+ by (blast intro: exprel.intros listrel.intros)
subsection\Some Functions on the Free Algebra\
@@ -75,8 +72,8 @@
be lifted to the initial algebra, to serve as an example of that process.
Note that the "free" refers to the free datatype rather than to the concept
of a free variable.\
-primrec freevars :: "freeExp \ nat set"
- and freevars_list :: "freeExp list \ nat set" where
+primrec freevars :: "freeExp \ nat set" and freevars_list :: "freeExp list \ nat set"
+ where
"freevars (VAR N) = {N}"
| "freevars (PLUS X Y) = freevars X \ freevars Y"
| "freevars (FNCALL F Xs) = freevars_list Xs"
@@ -88,11 +85,11 @@
equivalence relation. It also helps us prove that Variable
(the abstract constructor) is injective\
theorem exprel_imp_eq_freevars: "U \ V \ freevars U = freevars V"
-apply (induct set: exprel)
-apply (erule_tac [4] listrel.induct)
-apply (simp_all add: Un_assoc)
-done
-
+proof (induct set: exprel)
+ case (FNCALL Xs Xs' F)
+ then show ?case
+ by (induct rule: listrel.induct) auto
+qed (simp_all add: Un_assoc)
subsubsection\Functions for Freeness\
@@ -127,20 +124,24 @@
| "freeargs (PLUS X Y) = []"
| "freeargs (FNCALL F Xs) = Xs"
+
theorem exprel_imp_eqv_freeargs:
assumes "U \ V"
shows "(freeargs U, freeargs V) \ listrel exprel"
-proof -
- from equiv_list_exprel have sym: "sym (listrel exprel)" by (rule equivE)
- from equiv_list_exprel have trans: "trans (listrel exprel)" by (rule equivE)
- from assms show ?thesis
- apply induct
- apply (erule_tac [4] listrel.induct)
- apply (simp_all add: listrel.intros)
- apply (blast intro: symD [OF sym])
- apply (blast intro: transD [OF trans])
- done
-qed
+ using assms
+proof induction
+ case (FNCALL Xs Xs' F)
+ then show ?case
+ by (simp add: listrel_iff_nth)
+next
+ case (SYM X Y)
+ then show ?case
+ by (meson equivE equiv_list_exprel symD)
+next
+ case (TRANS X Y Z)
+ then show ?case
+ by (meson equivE equiv_list_exprel transD)
+qed (use listrel.simps in auto)
subsection\The Initial Algebra: A Quotiented Message Type\
@@ -165,24 +166,22 @@
definition
FnCall :: "[nat, exp list] \ exp" where
"FnCall F Xs =
- Abs_Exp (\Us \ listset (map Rep_Exp Xs). exprel `` {FNCALL F Us})"
+ Abs_Exp (\Us \ listset (map Rep_Exp Xs). exprel``{FNCALL F Us})"
text\Reduces equality of equivalence classes to the \<^term>\exprel\ relation:
- \<^term>\(exprel `` {x} = exprel `` {y}) = ((x,y) \ exprel)\\
+ \<^term>\(exprel``{x} = exprel``{y}) = ((x,y) \ exprel)\\
lemmas equiv_exprel_iff = eq_equiv_class_iff [OF equiv_exprel UNIV_I UNIV_I]
declare equiv_exprel_iff [simp]
text\All equivalence classes belong to set of representatives\
-lemma [simp]: "exprel``{U} \ Exp"
-by (auto simp add: Exp_def quotient_def intro: exprel_refl)
+lemma exprel_in_Exp [simp]: "exprel``{U} \ Exp"
+ by (simp add: Exp_def quotientI)
lemma inj_on_Abs_Exp: "inj_on Abs_Exp Exp"
-apply (rule inj_on_inverseI)
-apply (erule Abs_Exp_inverse)
-done
+ by (meson Abs_Exp_inject inj_onI)
text\Reduces equality on abstractions to equality on representatives\
declare inj_on_Abs_Exp [THEN inj_on_eq_iff, simp]
@@ -192,11 +191,8 @@
text\Case analysis on the representation of a exp as an equivalence class.\
lemma eq_Abs_Exp [case_names Abs_Exp, cases type: exp]:
- "(!!U. z = Abs_Exp(exprel``{U}) ==> P) ==> P"
-apply (rule Rep_Exp [of z, unfolded Exp_def, THEN quotientE])
-apply (drule arg_cong [where f=Abs_Exp])
-apply (auto simp add: Rep_Exp_inverse intro: exprel_refl)
-done
+ "(\U. z = Abs_Exp (exprel``{U}) \ P) \ P"
+ by (metis Abs_Exp_cases Exp_def quotientE)
subsection\Every list of abstract expressions can be expressed in terms of a
@@ -204,25 +200,17 @@
definition
Abs_ExpList :: "freeExp list => exp list" where
- "Abs_ExpList Xs = map (%U. Abs_Exp(exprel``{U})) Xs"
+ "Abs_ExpList Xs \ map (\U. Abs_Exp(exprel``{U})) Xs"
-lemma Abs_ExpList_Nil [simp]: "Abs_ExpList [] == []"
-by (simp add: Abs_ExpList_def)
+lemma Abs_ExpList_Nil [simp]: "Abs_ExpList [] = []"
+ by (simp add: Abs_ExpList_def)
lemma Abs_ExpList_Cons [simp]:
- "Abs_ExpList (X#Xs) == Abs_Exp (exprel``{X}) # Abs_ExpList Xs"
-by (simp add: Abs_ExpList_def)
+ "Abs_ExpList (X#Xs) = Abs_Exp (exprel``{X}) # Abs_ExpList Xs"
+ by (simp add: Abs_ExpList_def)
lemma ExpList_rep: "\Us. z = Abs_ExpList Us"
-apply (induct z)
-apply (rename_tac [2] a b)
-apply (rule_tac [2] z=a in eq_Abs_Exp)
-apply (auto simp add: Abs_ExpList_def Cons_eq_map_conv intro: exprel_refl)
-done
-
-lemma eq_Abs_ExpList [case_names Abs_ExpList]:
- "(!!Us. z = Abs_ExpList Us ==> P) ==> P"
-by (rule exE [OF ExpList_rep], blast)
+ by (smt (verit, del_insts) Abs_ExpList_def eq_Abs_Exp ex_map_conv)
subsubsection\Characteristic Equations for the Abstract Constructors\
@@ -230,7 +218,7 @@
lemma Plus: "Plus (Abs_Exp(exprel``{U})) (Abs_Exp(exprel``{V})) =
Abs_Exp (exprel``{PLUS U V})"
proof -
- have "(\U V. exprel `` {PLUS U V}) respects2 exprel"
+ have "(\U V. exprel``{PLUS U V}) respects2 exprel"
by (auto simp add: congruent2_def exprel.PLUS)
thus ?thesis
by (simp add: Plus_def UN_equiv_class2 [OF equiv_exprel equiv_exprel])
@@ -246,26 +234,26 @@
by (simp add: FnCall_def)
lemma FnCall_respects:
- "(\Us. exprel `` {FNCALL F Us}) respects (listrel exprel)"
+ "(\Us. exprel``{FNCALL F Us}) respects (listrel exprel)"
by (auto simp add: congruent_def exprel.FNCALL)
lemma FnCall_sing:
"FnCall F [Abs_Exp(exprel``{U})] = Abs_Exp (exprel``{FNCALL F [U]})"
proof -
- have "(\U. exprel `` {FNCALL F [U]}) respects exprel"
+ have "(\U. exprel``{FNCALL F [U]}) respects exprel"
by (auto simp add: congruent_def FNCALL_Cons listrel.intros)
thus ?thesis
by (simp add: FnCall_def UN_equiv_class [OF equiv_exprel])
qed
lemma listset_Rep_Exp_Abs_Exp:
- "listset (map Rep_Exp (Abs_ExpList Us)) = listrel exprel `` {Us}"
+ "listset (map Rep_Exp (Abs_ExpList Us)) = listrel exprel``{Us}"
by (induct Us) (simp_all add: listrel_Cons Abs_ExpList_def)
lemma FnCall:
"FnCall F (Abs_ExpList Us) = Abs_Exp (exprel``{FNCALL F Us})"
proof -
- have "(\Us. exprel `` {FNCALL F Us}) respects (listrel exprel)"
+ have "(\Us. exprel``{FNCALL F Us}) respects (listrel exprel)"
by (auto simp add: congruent_def exprel.FNCALL)
thus ?thesis
by (simp add: FnCall_def UN_equiv_class [OF equiv_list_exprel]
@@ -275,15 +263,14 @@
text\Establishing this equation is the point of the whole exercise\
theorem Plus_assoc: "Plus X (Plus Y Z) = Plus (Plus X Y) Z"
-by (cases X, cases Y, cases Z, simp add: Plus exprel.ASSOC)
+ by (cases X, cases Y, cases Z, simp add: Plus exprel.ASSOC)
subsection\The Abstract Function to Return the Set of Variables\
definition
- vars :: "exp \ nat set" where
- "vars X = (\U \ Rep_Exp X. freevars U)"
+ vars :: "exp \ nat set" where "vars X \ (\U \ Rep_Exp X. freevars U)"
lemma vars_respects: "freevars respects exprel"
by (auto simp add: congruent_def exprel_imp_eq_freevars)
@@ -301,62 +288,73 @@
UN_equiv_class [OF equiv_exprel vars_respects])
lemma vars_Plus [simp]: "vars (Plus X Y) = vars X \ vars Y"
-apply (cases X, cases Y)
-apply (simp add: vars_def Plus
- UN_equiv_class [OF equiv_exprel vars_respects])
-done
+proof -
+ have "\U V. \X = Abs_Exp (exprel``{U}); Y = Abs_Exp (exprel``{V})\
+ \ vars (Plus X Y) = vars X \ vars Y"
+ by (simp add: vars_def Plus UN_equiv_class [OF equiv_exprel vars_respects])
+ then show ?thesis
+ by (meson eq_Abs_Exp)
+qed
lemma vars_FnCall [simp]: "vars (FnCall F Xs) = vars_list Xs"
-apply (cases Xs rule: eq_Abs_ExpList)
-apply (simp add: FnCall)
-apply (induct_tac Us)
-apply (simp_all add: vars_def UN_equiv_class [OF equiv_exprel vars_respects])
-done
+proof -
+ have "vars (Abs_Exp (exprel``{FNCALL F Us})) = vars_list (Abs_ExpList Us)" for Us
+ by (induct Us) (auto simp: vars_def UN_equiv_class [OF equiv_exprel vars_respects])
+ then show ?thesis
+ by (metis ExpList_rep FnCall)
+qed
lemma vars_FnCall_Nil: "vars (FnCall F Nil) = {}"
-by simp
+ by simp
lemma vars_FnCall_Cons: "vars (FnCall F (X#Xs)) = vars X \ vars_list Xs"
-by simp
+ by simp
subsection\Injectivity Properties of Some Constructors\
lemma VAR_imp_eq: "VAR m \ VAR n \ m = n"
-by (drule exprel_imp_eq_freevars, simp)
+ by (drule exprel_imp_eq_freevars, simp)
text\Can also be proved using the function \<^term>\vars\\
lemma Var_Var_eq [iff]: "(Var m = Var n) = (m = n)"
-by (auto simp add: Var_def exprel_refl dest: VAR_imp_eq)
+ by (auto simp add: Var_def exprel_refl dest: VAR_imp_eq)
lemma VAR_neqv_PLUS: "VAR m \ PLUS X Y \ False"
-by (drule exprel_imp_eq_freediscrim, simp)
+ using exprel_imp_eq_freediscrim by force
theorem Var_neq_Plus [iff]: "Var N \ Plus X Y"
-apply (cases X, cases Y)
-apply (simp add: Var_def Plus)
-apply (blast dest: VAR_neqv_PLUS)
-done
+proof -
+ have "\U V. \X = Abs_Exp (exprel``{U}); Y = Abs_Exp (exprel``{V})\ \ Var N \ Plus X Y"
+ using Plus VAR_neqv_PLUS Var_def by force
+ then show ?thesis
+ by (meson eq_Abs_Exp)
+qed
theorem Var_neq_FnCall [iff]: "Var N \ FnCall F Xs"
-apply (cases Xs rule: eq_Abs_ExpList)
-apply (auto simp add: FnCall Var_def)
-apply (drule exprel_imp_eq_freediscrim, simp)
-done
+proof -
+ have "\Us. Var N \ FnCall F (Abs_ExpList Us)"
+ using FnCall Var_def exprel_imp_eq_freediscrim by fastforce
+ then show ?thesis
+ by (metis ExpList_rep)
+qed
subsection\Injectivity of \<^term>\FnCall\