f1e483e16f1dc2c13c18da6f9eadc958e624926f9aae67b62cd1b003a63e98eb Isabelle2026-RC3.exe (1.2G / 1196600689 bytes)9a6ce09d0930829f210381ef150d5711661536bb6f218556df4d35d3aec72b0a Isabelle2026-RC3_library.tar.gz (176M / 184506090 bytes)34bdef772fe0db5f01a88e097fe20dee134c41ce7935f102a6bfa7260003d5ef Isabelle2026-RC3_linux_arm.tar.gz (1.3G / 1386569950 bytes)5bcceb57b906bc52040012e05250b0274a4c07ae605798a2eaf4e92bd4b11a8b Isabelle2026-RC3_linux.tar.gz (1.4G / 1408321669 bytes)a65763fbfe39cd248de04c18a5bfe93c90df6566eb3fbaaceee2bdebda7cc3e8 Isabelle2026-RC3_macos_arm.tar.gz (1.3G / 1387586661 bytes)8718d79c5cf6b7284d59afed0a670bd14a57904c8d073d87c1228b98e9a43327 Isabelle2026-RC3_macos.tar.gz (1.3G / 1371586841 bytes)b28a7481ce74e336c9a3822185cb463ebfe55ad8944686ebedb0777faf5ca616 Isabelle2026-RC3.tar.gz (399M / 417503944 bytes)2fa72d86bca4459c36a8a9efa6b5a6c2d0a756706204a70cea51b7e84fcf487e contrib/bash_process-20260628.tar.gz (35K / 35273 bytes)be274a3b94a865244672943916b0cb3e3e388c6d38f9cfc342e41beb309a08bc contrib/bib2xhtml-20190409.tar.gz (281K / 287429 bytes)bdaa29da1c7cb15c9370b66fc4709b85e082e1436f01cf349c8c07095b528f9c contrib/csdp-6.1.1-1.tar.gz (6.2M / 6471597 bytes)56669e6c8b88374221af968ad5985f79bb6b4e4c286a4475ae54ea1f73121b66 contrib/cvc5-1.3.4.tar.gz (49M / 50960949 bytes)801b8d3f9d640425c0b4bb434ad41ad36c77b35c79f6034bd686076f0a907631 contrib/cygwin-20260919.tar.gz (86M / 89696576 bytes)adc35617f10c74ab8d3d13aacac57a68b9ce2c61b6da9ced5e2e370469b77305 contrib/e-3.2.tar.gz (7.5M / 7826414 bytes)aa94f0fbdce86e7e67af142ae6da5d28c0c5b3f68f289691c131e3e831784e09 contrib/easychair-3.5.tar.gz (1.5M / 1551085 bytes)700ea3186762f2275731ae04883ddcced9cca3ffef3081146334330389d4ad42 contrib/elm-0.19.1.tar.gz (36M / 37327684 bytes)ddf168dc76a3ffc2658de3759860262f2b07ce725fbcc2f175c524cb78e17126 contrib/eptcs-1.7.0.tar.gz (32K / 31953 bytes)054275df6f7b9d1daa3b5dd92a3ca1184fb9bc75398b75af351b7b9cfa808a9c contrib/find_facts_web-20251022.tar.gz (261K / 267084 bytes)b6b78c3f520aae238fda7ae7e581c37ded817dbed6c08081aa0c3a2dd3a8edc8 contrib/flatlaf-3.7.2.tar.gz (1004K / 1027885 bytes)8793f696d65a636471fd723b39a749f82fac693996b315d9864d726685bf460a contrib/foiltex-2.1.4b.tar.gz (390K / 398575 bytes)b409c5caab82b1c69d0dc50e7b573540faaa106eea8cd0994413d8344f1802af contrib/gnu-utils-20260706.tar.gz (609K / 622866 bytes)e02a5d38937cf1f17e3845eab635e6ee81865756d23e15727b489fa7fe851e94 contrib/Isabelle_app-20260628.tar.gz (10K / 10216 bytes)efaab73213a1a6f379e323ba5d4a55e2de10fd33e124af2bb469de83ea6e2177 contrib/isabelle_fonts-20241227.tar.gz (3.2M / 3300879 bytes)700a9f888e522a45f5373c3c7b436faa1e40dd8df94408526693858e5a26c441 contrib/isabelle_setup-20260630.tar.gz (27K / 26634 bytes)60de271f0cd3e18b38700441acb05945a677f2f67365f44c3b82088a3d288fcc contrib/itext-2.1.5.tar.gz (1.1M / 1061209 bytes)7b12a854bbfb8526718db0b106c93e8d712f1592959085e730a75fb0a1c3389a contrib/javamail-20251022.tar.gz (753K / 771031 bytes)02cc547a5635633c9f2a5c21d279d54400b9e529d480dac02786731bb579d9d3 contrib/jdk-25.0.4.tar.gz (1.1G / 1137845474 bytes)a569335583452dbf1f4fd1efb46284107c3ddb51f4c537f59a6be2f67cf81267 contrib/jedit-20260515.tar.gz (21M / 21373723 bytes)247246de715a64179ae30a9eefd52c56c89fd53c7ecf63d8e59b7438fb6a84fa contrib/jfreechart-1.5.6-1.tar.gz (3.7M / 3781768 bytes)cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M / 1723761 bytes)e77b84f23cb49561ed60a80ae2172662253c00c530c7265fd64c6ea22d3d66a8 contrib/jsoup-1.21.2.tar.gz (453K / 463495 bytes)37690a1013511b5ae145a1b89ed694977570facc13aac0f738972c517e9020be contrib/jsvg-2.0.0.tar.gz (628K / 642513 bytes)4a4d98a625d4d1e46927c302a11c48d89ebb4bfd6a64e8b469adc1f6942f824b contrib/kodkodi-20260628.tar.gz (3.5M / 3569108 bytes)68bd2b9a59f5a2c86af585873b70ef7d967549477ad03a50d9be4158ecf38364 contrib/lipics-3.1.3-1.tar.gz (1.6M / 1649717 bytes)2fb230682c0207e00700e46106e90b7e5a7c7a60ef84fbe40da4e8f81591deba contrib/llncs-2.25.tar.gz (226K / 230814 bytes)aafceaf6c05c44133d738725e23906a9650a5d850ef5581638f6cff2072ffa2f contrib/minisat-2.2.1-2.tar.gz (3.6M / 3722137 bytes)edbebcfaf21840f77c7a7809d6f09cf2dcacfae6319ccf52ee2f5d58d6990e96 contrib/mlton-20241230-2.tar.gz (81M / 84685497 bytes)544f9cf81f99bd2e78046d6e525478b248da658346e3ee98b470c7b31bf93d2d contrib/naproche-20260903.tar.gz (44M / 45242231 bytes)875e014b4571495fe64f9e877e4eb0acaf9986c73cf9d938c7d9a6160db8f268 contrib/nunchaku-0.5-1.tar.gz (2.6M / 2706460 bytes)1d6862b64e81c45ace9c949d2d8f41a6cb856567c5ab8f582df4b2d6806a236f contrib/opam-2.0.7.tar.gz (8.2M / 8501717 bytes)93ede3b2331302e0a93bd9df17870797dd62ff7f584a85f0729f53f814052287 contrib/pdfjs-5.4.394.tar.gz (6.2M / 6461684 bytes)788cdda280bf6a231bf098e2912c5b53784fd91b86fc5b836f861e6f50ea49fe contrib/polyml-5.9.2-5.tar.gz (38M / 38878912 bytes)9b61edd98be38f6b90bdfffa60f014e307da0c82c541a2e8b04d94697220a5c2 contrib/postgresql-42.7.12.tar.gz (1.1M / 1066955 bytes)d4a9c2d5aa0e0238bf908d41d2e7ca435d3cf7841c15d9da58cb62e8a9e74c60 contrib/prismjs-1.30.0.tar.gz (665K / 680424 bytes)8f83a18a37a00bda7cfaf084754fba60106b4abe646f60d015cb56a231b3b2b4 contrib/rsync-3.2.7-2.tar.gz (3.8M / 3937658 bytes)517a46dcbebe3f4157866062d62363efc50405876a52f71d39faf7c952c6fd3e contrib/scala-3.3.8-1.tar.gz (56M / 58557284 bytes)d2ff3309f5ff71f2ceeaca4de58bcd7c7bb7d68e69de281b103c9ad528131b72 contrib/smbc-0.4.1-1.tar.gz (1.6M / 1660516 bytes)fe78da329952c23b84afb2ceb07b0c78cf27a7b10ca12d81291269eaa8344108 contrib/solr-9.9.0.tar.gz (60M / 62507396 bytes)f1f0f6a953f248871f424449b61004403945bbf89d376c183166525735f7f77f contrib/spass-3.8ds-5.tar.gz (2.5M / 2553899 bytes)1b744db6fb2d0337b7b22346e66286ea43b0019c4ab8d25f28aca69162c046ba contrib/sqlite-3.53.4.0.tar.gz (15M / 15078592 bytes)d98fe91e9d89e98ca2d7b902ea3466687e8a4788549152585d00b496ae176e09 contrib/stack-2.15.7.tar.gz (93M / 96521958 bytes)4b4f6e35687a371966eb229a7384bd110fb25ea48090039c801a835595f292f1 contrib/sumatra_pdf-3.5.2.tar.gz (7.8M / 8082144 bytes)ff311ffda48a746bbc1a2171103b2ee47e19df13afa88f0458ceec77a63aac6c contrib/vampire-4.8-2.tar.gz (20M / 20301173 bytes)8786e3acdfa0c37f635b826baa3f57c661a4ff319e8305377ecfde7b1b0c6eb2 contrib/verit-2026.05.tar.gz (4.3M / 4444033 bytes)0e168c50952e9690fbae006cd8154beb2feded676540d02eca203b6c9933bcf4 contrib/vscode_extension-20260929.tar.gz (66M / 68900402 bytes)9d6d52bc2c973c8bc3cc6c2752d18106fd17a5bcd712af621a522314ffd43132 contrib/vscodium-1.135.06055.tar.gz (1.2G / 1208397137 bytes)12648071ab0f3a1464096a75d7c10bdfbbd8ab0323a1805593bcbedfc5856702 contrib/windows_app-20260712.tar.gz (5.2M / 5452575 bytes)7cfe3f9723b0443afc05a810d0f036dd7827ca355c47b80ca42b6349d8997ac1 contrib/xz-java-1.12.tar.gz (264K / 269400 bytes)3a763c07ac2ddee4398f7e19183ec8cb646fd4b941ee245171ef1bfc6301432f contrib/z3-4.4.0pre-8.tar.gz (20M / 20777465 bytes)98adec94cf87507b6762eca7d9618fcee7d94496c09368c146001c59174874b8 contrib/zipperposition-2.1-2.tar.gz (23M / 23849987 bytes)c78c18fd9af42de238c8e28340688e1cef7c8f0ba3693427ca4eade7202eaf4e contrib/zstd-jni-1.5.7-11.tar.gz (9.1M / 9438584 bytes)