5225d0e28a3c9cb3e4e348b508d332165c65b806201f3936a7a861a6bb39a748 Isabelle2025.exe (908M / 951589856 bytes)cfc3feae00dd8bfc43e109b7459c9c61f08c51b587d541c3c9439fe4aa13f148 Isabelle2025_library.tar.gz (160M / 167303414 bytes)a7f1e9fbb279809cb9b3a0550f931ad4cbb6392e7723c052ee0292398601d0f1 Isabelle2025_linux_arm.tar.gz (992M / 1039337334 bytes)3d1d66de371823fe31aa8ae66638f73575bac244f00b31aee1dcb62f38147c56 Isabelle2025_linux.tar.gz (1.1G / 1083266495 bytes)ea5754c228857f5d9d3ae254ec9814797f2453ea290df20b2f6dcb2ef0e2e7f8 Isabelle2025_macos.tar.gz (1.4G / 1411408470 bytes)8b7194a8b2e8017124bcffefdc674700a674df9e1f939656977421c06c74f554 Isabelle2025.tar.gz (348M / 364177334 bytes)34e8f8c8029feccded962cca145fe8f9e34c8f21cccf1263cd3b059f7477b64a contrib/bash_process-20240326.tar.gz (35K / 35200 bytes)be274a3b94a865244672943916b0cb3e3e388c6d38f9cfc342e41beb309a08bc contrib/bib2xhtml-20190409.tar.gz (281K / 287429 bytes)5ea41c94f2c56c9815fa10dc7f6f908eaea00e8fd7b7c9b4d0e6bdfd54fed5e3 contrib/csdp-6.1.1.tar.gz (6.1M / 6352545 bytes)ba43d15b49a4ef87bceaaba65d321f831ab1533b37da44cce2a8d8d788f6c781 contrib/cvc5-1.2.0-1.tar.gz (45M / 46805717 bytes)35c40ca52baf683d17d4c7cb64ae1edae2b0b03e2ee1dbc9c6a421f7c2363570 contrib/cygwin-20250109.tar.gz (84M / 87287181 bytes)78f96779b73875adde4d359591cb1635fc6d82a47dd7ca8a5e13b58f843e83da contrib/e-3.1-1.tar.gz (7.5M / 7773764 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)ce6c03f3a9881d55e9f2c29b61ba5aaf31faafdf45be8a7550d84ad55ea0128b contrib/find_facts_web-20250223.tar.gz (264K / 270069 bytes)6852ab23a883adf8e708f1104d590ad0140dca8959dec0c71606b7afdebbbf35 contrib/flatlaf-3.5.4-1.tar.gz (815K / 834048 bytes)8793f696d65a636471fd723b39a749f82fac693996b315d9864d726685bf460a contrib/foiltex-2.1.4b.tar.gz (390K / 398575 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)efaab73213a1a6f379e323ba5d4a55e2de10fd33e124af2bb469de83ea6e2177 contrib/isabelle_fonts-20241227.tar.gz (3.2M / 3300879 bytes)2fe45d767c47384733ee19eda95f8e44b034bf21895758c7e308980eca23dbba contrib/isabelle_setup-20240327.tar.gz (25K / 25145 bytes)a88ba26d16a3217cd6e98ed097fa472f10ffe87fe1d6c3385f91b948edff69dc contrib/javamail-20250122.tar.gz (750K / 767776 bytes)37e04703b0ffbd975759ca30837652f1c59292757a198f3fd1398515f1d37d87 contrib/jdk-21.0.6.tar.gz (1000M / 1048031635 bytes)cb2bcb0a498ca7de57729e2f8798bd41ee57d76272cb6fcac56bd8e4856b7e5d contrib/jedit-20250215.tar.gz (11M / 11115737 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)f534705d03ebe76d3504b20b7cadc390d8af3c340ea79cda07a26e188b96b23f contrib/jsoup-1.18.3.tar.gz (415K / 424805 bytes)058e48daf2dec59c132678522083dc8afd3c09bcb813c3a11a928d3cef910ea1 contrib/kodkodi-1.5.7.tar.gz (3.5M / 3570780 bytes)72a27437e1b2b66af4dc30c2e3aa0de21ee35bc5da6af9f0953e7f3a6d0420a5 contrib/lipics-3.1.3.tar.gz (1.6M / 1651515 bytes)2fb230682c0207e00700e46106e90b7e5a7c7a60ef84fbe40da4e8f81591deba contrib/llncs-2.25.tar.gz (226K / 230814 bytes)e6a2e24a6e8f6acf8259807c0912f9686199b16d0b0aca745909ae94c38a5b0a contrib/minisat-2.2.1-1.tar.gz (3.6M / 3677436 bytes)3899a32aeaaca34f6ba785156e42978eb841964dcdd19a9587c98ecadc8fff3f contrib/mlton-20241230-1.tar.gz (62M / 64444897 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)f633d451b76962099b5ae184fd574ff20d69205d74f2d41e1b514f249cb7e871 contrib/polyml-5.9.1.tar.gz (37M / 38379400 bytes)761fbbac7bff225b8baaf573b7d4c7a1c38384ff7fe306221a600eee24fc3949 contrib/postgresql-42.7.5.tar.gz (991K / 1013932 bytes)9b7bff3d1561cc199cf9e95a9e6a9aa7ba6425958a218676e471a7263a471871 contrib/prismjs-1.29.0.tar.gz (665K / 680219 bytes)5b3b20dad2c4cc826498b3bffa5d83f592f63f7dddc81b93fe65dc7bb1549b6a contrib/rsync-3.2.7-1.tar.gz (3.8M / 3938804 bytes)a96865ed9eeff25975cbc6eb52c34699e850e2998e9aac517845801055b74c2d contrib/scala-3.3.4.tar.gz (40M / 41254208 bytes)a4e071474f85e1869aa1acfc9ccd4b7e7f43f9c2054cfc6f054a4f4791e1e9ff contrib/smbc-0.4.1.tar.gz (3.3M / 3370801 bytes)65ccf19268b4e2f37278c36a920bbbd553b44fb987be425d60ab26aa979605b8 contrib/solr-9.7.0-1.tar.gz (59M / 61815844 bytes)64beb5951f9f41407cde80453d79faaf0247da6ff6e4fa89882d967025a4114c contrib/spass-3.8ds-2.tar.gz (2.1M / 2198064 bytes)ba65ec1abca2f6d0cd022af6eafbc5ff98b8d3a45b6b2c3f6970b7e8a2bc7337 contrib/sqlite-3.48.0.0.tar.gz (17M / 17295405 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)0c1943cfdfdca26dc65d9129b75ca309dfc86739bedf7cd47a1e38c28c7c3f7d contrib/vampire-4.8.tar.gz (17M / 17415483 bytes)037f54d5278fc634c7f59fcf7b06670ed0fa2ddbcc613b677115cc7981a56ff6 contrib/verit-2021.06.2-rmx-1.tar.gz (3.6M / 3719953 bytes)22a9d4d01240c82e1e34a1a19c150587664c09b71f2a6d74702bc9167b168071 contrib/vscode_extension-20241002.tar.gz (2.4M / 2496689 bytes)8ae392b78f67d308c55ab3df5bd07adec32f4560d861e1c5ad6b2867d6bc6737 contrib/vscodium-1.70.1.tar.gz (455M / 476300402 bytes)3268c19044de66ae286e2b302e401c54b56a77ab80c22bed820f6bff68044958 contrib/windows_app-20240205.tar.gz (34M / 35175672 bytes)e235d9551077d60d2e03d2fac0ff611aa57304f3d243fb52f8cf686f12151744 contrib/xz-java-1.10.tar.gz (258K / 263589 bytes)b37a8d59e823dcabd5ae43821522a6a720d10cb0d129139c876d730bf2a8851d contrib/z3-4.4.0pre-4.tar.gz (15M / 15147166 bytes)cd90af1381d87763b6b6b76ab53f8d51e7bedc99e4b317b04f182b0ef143dae2 contrib/zipperposition-2.1-1.tar.gz (19M / 19506390 bytes)275ebb2268f9a3a37546d6ca4fb5b6912c040a00caf7cd4ddfa40cfaada67740 contrib/zstd-jni-1.5.6-8.tar.gz (8.8M / 9175874 bytes)