13ff99bfe4a531333c2edd6cfc1b1cf2a7e5cb4be42542427638567a66e34aff Isabelle2022.exe (492M / 515744871 bytes)c9a753021d8b80e00a3afc008233875e776dae0511b2ceee6c480f7b3418e301 Isabelle2022_library.tar.gz (146M / 153057253 bytes)a88fc147f299c0b8e790ee6aff261e5b894de31c947bbf1538cd88342fd9fe2a Isabelle2022_linux_arm.tar.gz (575M / 602603396 bytes)e7fa6e9d9675d7a56751c00fa81ad0d081e1b6ffbdb0d7f02056853ba77f04c6 Isabelle2022_linux.tar.gz (629M / 659402730 bytes)28444505089e1e88da5c659b3e9b68cf7a234fb8ad9fa74345beacb352cf042d Isabelle2022_macos.tar.gz (889M / 931720352 bytes)34350b602f797695bf751406dfaac50824515c45f7780af4c8d76f3428a95603 Isabelle2022.tar.gz (37M / 38777244 bytes)7cfdfbfac1e035895afd2e3f91e97a7fefb5be20a0bcd3d72f8c1656d710c0a2 contrib/apache-commons-20211211.tar.gz (721K / 737526 bytes)18b2e2600d4803795a8eb5b698ddde66d738b1a3b75dfc2b746ee33fdec34af5 contrib/bash_process-1.3.tar.gz (62K / 63325 bytes)be274a3b94a865244672943916b0cb3e3e388c6d38f9cfc342e41beb309a08bc contrib/bib2xhtml-20190409.tar.gz (281K / 287429 bytes)5ea41c94f2c56c9815fa10dc7f6f908eaea00e8fd7b7c9b4d0e6bdfd54fed5e3 contrib/csdp-6.1.1.tar.gz (6.1M / 6352545 bytes)6662a1cca463308b4b0407dfc85bdd08b000bfc659dbb37db2c034c271e6a0a3 contrib/cvc4-1.8.tar.gz (24M / 24709162 bytes)e7898618044e1f1868e3fdbf7433c08c62ca42b733fa1d5461ae5a7f0de4e40c contrib/cygwin-20221002.tar.gz (56M / 58545992 bytes)1bf59be0b321e87afa2dec98ca01e1fb2077f01a5c6b3cec7128f599b06ac717 contrib/e-2.6-1.tar.gz (6.6M / 6881174 bytes)014fa7b2cbb56305b1917b3667647ecbdc4f9cdc466245aeab887a94a7a3970a contrib/flatlaf-2.4.tar.gz (656K / 671155 bytes)70e42d4e035da9e0ea9f56e637449735bc9451fa03ff14cc0e1256b08fcdb156 contrib/gnu-utils-20211030.tar.gz (609K / 622998 bytes)d99b87152a4d0f2036dc76965154425f6002b5c56e73ca8fe6121ac5bb68ced6 contrib/idea-icons-20210508.tar.gz (1.8M / 1791631 bytes)2ceb8109859efc0d1e1e49118eb625e2727da491b94c508196525572ad6ad950 contrib/Isabelle_app-20210126.tar.gz (7.4K / 7573 bytes)d10fcb8407550f5b69067ba0ef3ffef8b0856a5b26c0ba1513cd68cb3ea7c073 contrib/isabelle_fonts-20211004.tar.gz (3.2M / 3298046 bytes)381507f81dc4b937c5b52316d86c8df4f86d6b54e115f28665b7e37965005e0d contrib/isabelle_setup-20221020.tar.gz (25K / 25082 bytes)fd816ee5e171b4ac40a6d76c87100282c13b1560e16e5fc11213d11ac312c74a contrib/jdk-17.0.4.1+1.tar.gz (919M / 963211091 bytes)5c520fe59503aad0874073160dc86a5f8790364cbb84d7f949207087420269cc contrib/jedit-20211103.tar.gz (11M / 11012009 bytes)dfd527e510bdc62eb6e7666c3da526d920ebdc668573528bbc427e72987011bb contrib/jfreechart-1.5.3.tar.gz (4.6M / 4798037 bytes)cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M / 1723761 bytes)058e48daf2dec59c132678522083dc8afd3c09bcb813c3a11a928d3cef910ea1 contrib/kodkodi-1.5.7.tar.gz (3.5M / 3570780 bytes)e6a2e24a6e8f6acf8259807c0912f9686199b16d0b0aca745909ae94c38a5b0a contrib/minisat-2.2.1-1.tar.gz (3.6M / 3677436 bytes)7951b5f2218173d6d6c56944df40dde5067c88f8e04c3c29be6019057918955a contrib/mlton-20210117-1.tar.gz (19M / 19557529 bytes)b828ee079129b34f9c46f52a0c0e435fafd3689ed5d9f7a65b7b3d4034ba321b contrib/nunchaku-0.5.tar.gz (5.4M / 5583019 bytes)1d6862b64e81c45ace9c949d2d8f41a6cb856567c5ab8f582df4b2d6806a236f contrib/opam-2.0.7.tar.gz (8.2M / 8501717 bytes)eae4a39f6e76e717cb9f7a44daad9f6984dc959c085ec330859e4ea34640ad7f contrib/pdfjs-2.14.305.tar.gz (5.7M / 5900574 bytes)5fe61149e4b9fb998e7637cc492ab416f7e23ad8c1e5434facb4e19c521c8b83 contrib/polyml-test-bafe319bc3a6-1.tar.gz (36M / 36911388 bytes)1e9878d6490300a8bc465cd9fe41f9c298fae4d8e99def61ee0856e54f718959 contrib/postgresql-42.5.0.tar.gz (948K / 970128 bytes)7b03f1fde7078a97e6c86da9dde39ab9f6d38e94c617dc2b941885d28dbb02c8 contrib/scala-3.2.0-2.tar.gz (37M / 38729257 bytes)a4e071474f85e1869aa1acfc9ccd4b7e7f43f9c2054cfc6f054a4f4791e1e9ff contrib/smbc-0.4.1.tar.gz (3.3M / 3370801 bytes)64beb5951f9f41407cde80453d79faaf0247da6ff6e4fa89882d967025a4114c contrib/spass-3.8ds-2.tar.gz (2.1M / 2198064 bytes)49823d379f3ae67b03095b8ac82069f3ae6b8fc435e873d938280d921dd2d880 contrib/sqlite-jdbc-3.36.0.3.tar.gz (12M / 12291990 bytes)2f4aa1246cda5dab760d89e9af8137f3919078bceebc546928810b4ca1d3b97d contrib/stack-2.7.3.tar.gz (39M / 40067727 bytes)3a6d7593b7bcba190616d8def61ce623db9c8ffd10dc6103ff3dd3a41076fd36 contrib/sumatra_pdf-3.4.6.tar.gz (6.7M / 6998171 bytes)b60c657cad8094ed830eb4f887a94ea731aa7de3e0d7c47454be6c71ecb7b13c contrib/vampire-4.6.tar.gz (16M / 16766578 bytes)483d061aa0aa920eca68a7b26faf5b14414a343be88edfc1c714664a4ecc0f0f contrib/verit-2021.06.2-rmx.tar.gz (3.6M / 3737611 bytes)95e117e0deaf4d7f9fe942bdacfa1d4bd8841fb1ef8f30d6a8503ad137e2dd37 contrib/vscode_extension-20220829.tar.gz (809K / 827460 bytes)8ae392b78f67d308c55ab3df5bd07adec32f4560d861e1c5ad6b2867d6bc6737 contrib/vscodium-1.70.1.tar.gz (455M / 476300402 bytes)9769b3c2efb0d1728d25fa65a0309365ea483ac93d8a651e40527bf20ece09db contrib/windows_app-20181006.tar.gz (15M / 15372703 bytes)0a66a5f7290146cff015b6539cce9a7c5e1f0be402633b14c9e6a98fd1e60cdc contrib/xz-java-1.9.tar.gz (195K / 198717 bytes)5a4b3458e0184a5005352b3350ac1861c89825350e4bb560d69d3a1e745ef208 contrib/z3-4.4.0_4.4.1.tar.gz (21M / 21927851 bytes)cd90af1381d87763b6b6b76ab53f8d51e7bedc99e4b317b04f182b0ef143dae2 contrib/zipperposition-2.1-1.tar.gz (19M / 19506390 bytes)