281fd9e86ff76995e6942f5ae0d742d5ab29e262b94f4663649dacfaa85524d8 Isabelle2024.exe (543M / 568425726 bytes)edf2143f25df67e087fe7dc8c7f1937d8daf980209897b561bb60b6a945f5180 Isabelle2024_library.tar.gz (156M / 162984908 bytes)8d7595bf5f16c2b567a955f5b382e7c9fec390eccf6b711d2d763182d283f980 Isabelle2024_linux_arm.tar.gz (621M / 650791843 bytes)603aaaf8abea36597af3b0651d2c162a86c0a0dd4420766f47e5724039639267 Isabelle2024_linux.tar.gz (660M / 691403415 bytes)22035f996f71ea1f03063f6f144195eb6a04974d4d916ed0772cd79569a28bc7 Isabelle2024_macos.tar.gz (946M / 991041463 bytes)395d841383c628a06d2b0e5ec1a7891903963d6098a79c6fa00a3fb896ff6dde Isabelle2024.tar.gz (41M / 42656860 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)6662a1cca463308b4b0407dfc85bdd08b000bfc659dbb37db2c034c271e6a0a3 contrib/cvc4-1.8.tar.gz (24M / 24709162 bytes)ab449a85c0f7c483027c2000889ec93b3f7df565d9d0c6902af2d666b3b58220 contrib/cygwin-20240305.tar.gz (75M / 77832809 bytes)a74ef9c7aa11546bfe1d50f6faec7ee4745501c5fc2aa8e4c448ee20fb92e4e1 contrib/e-3.0.03-1.tar.gz (7.5M / 7792711 bytes)aa94f0fbdce86e7e67af142ae6da5d28c0c5b3f68f289691c131e3e831784e09 contrib/easychair-3.5.tar.gz (1.5M / 1551085 bytes)ddf168dc76a3ffc2658de3759860262f2b07ce725fbcc2f175c524cb78e17126 contrib/eptcs-1.7.0.tar.gz (32K / 31953 bytes)87156f3fcc6df2dd9e31f2230519c80f781fc60f8ad23e7c1a6a9e6d042c9399 contrib/flatlaf-2.6.tar.gz (675K / 690881 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)d10fcb8407550f5b69067ba0ef3ffef8b0856a5b26c0ba1513cd68cb3ea7c073 contrib/isabelle_fonts-20211004.tar.gz (3.2M / 3298046 bytes)2fe45d767c47384733ee19eda95f8e44b034bf21895758c7e308980eca23dbba contrib/isabelle_setup-20240327.tar.gz (25K / 25145 bytes)e292d833e294ed32fb6e8771284ebe3f11060e13819a4addf375e6476be8c063 contrib/javamail-20240109.tar.gz (739K / 756440 bytes)f2af55193ad308d6262a5ecd2e2685705408b5bcfc1f0208adf4b6cb55668b55 contrib/jdk-21.0.3.tar.gz (1001M / 1049587050 bytes)ec2234ee2e0ac41361fe22c210373d52d71ecfeecbe8fa003a19582199fbf107 contrib/jedit-20240425.tar.gz (11M / 11010726 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)d37ca693e05468e1d3277fd065d753d804f9c94c9a3b18ad0618ecea71fc0729 contrib/jsoup-1.17.2.tar.gz (402K / 411002 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)bcf0d805b4bc0178f6b02c6ae41f6b99b9c20a378b00f33c02c1ad43034d7803 contrib/llncs-2.23.tar.gz (226K / 231250 bytes)e6a2e24a6e8f6acf8259807c0912f9686199b16d0b0aca745909ae94c38a5b0a contrib/minisat-2.2.1-1.tar.gz (3.6M / 3677436 bytes)8a3cb82bd7a6dbdb6ed6fe4bcdaf4a3eb1df45f5922df81300e119007aa715eb contrib/mlton-20210117-3.tar.gz (37M / 38490928 bytes)2e3d26b14dc5c292c2271deb9bf883402279c1f48bbfa3a1ccf7042b90b083ce contrib/naproche-20240519.tar.gz (24M / 24885592 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)a30458b4ba1318dd7496b197015e2d98f09f5e6f08fcb257ea6437db1e4ec9d5 contrib/postgresql-42.7.3.tar.gz (988K / 1010888 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)13d4439fdbbc999a61519129d4f7eaecff7e7978878b32763582f98d59c703d2 contrib/scala-3.3.3.tar.gz (39M / 40146018 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)6bd06bce31053e15896fba16f767e6eeb0d9841b64e7aa2c4ba48d85c148d1d9 contrib/sqlite-3.45.2.0.tar.gz (16M / 16427958 bytes)57fb203070d84849227f3e057550d7f3adffab72109da464713e55c2b12e3711 contrib/stack-2.15.5.tar.gz (92M / 95545779 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)8d7da1b4854d6dcc4466d3d22697f4d5b8cd764e12daf6539a41fc45a54743b5 contrib/vscode_extension-20230206.tar.gz (809K / 827458 bytes)8ae392b78f67d308c55ab3df5bd07adec32f4560d861e1c5ad6b2867d6bc6737 contrib/vscodium-1.70.1.tar.gz (455M / 476300402 bytes)3268c19044de66ae286e2b302e401c54b56a77ab80c22bed820f6bff68044958 contrib/windows_app-20240205.tar.gz (34M / 35175672 bytes)0a66a5f7290146cff015b6539cce9a7c5e1f0be402633b14c9e6a98fd1e60cdc contrib/xz-java-1.9.tar.gz (195K / 198717 bytes)b37a8d59e823dcabd5ae43821522a6a720d10cb0d129139c876d730bf2a8851d contrib/z3-4.4.0pre-4.tar.gz (15M / 15147166 bytes)cd90af1381d87763b6b6b76ab53f8d51e7bedc99e4b317b04f182b0ef143dae2 contrib/zipperposition-2.1-1.tar.gz (19M / 19506390 bytes)ad6638df1e21968d20712a3b5656447b712eca721689e53d17c93e061c242668 contrib/zstd-jni-1.5.5-4.tar.gz (7.6M / 7915008 bytes)