dc97bea830a268abc36e4efa3e98c525790287576e7fd806fadc33f329d4d918 Isabelle2025-1.exe (1021M / 1070580582 bytes)855015de19051e14b14e041529224e7a82f3e6071cae4f83737861ba80367422 Isabelle2025-1_library.tar.gz (164M / 171397047 bytes)05485d2bcaa1755d837a7fb86db75df53e8c0ff06d1a9c69fb50318f6d4dc6b2 Isabelle2025-1_linux_arm.tar.gz (1.2G / 1181847297 bytes)d12036f17ddf20a315df066d949bc1c6af4c66423a19ebd5b9237382a278c505 Isabelle2025-1_linux.tar.gz (1.2G / 1229188141 bytes)58a96bb173faa191f2e8d4da69062975db60136406841678b8a6a2eb576d435e Isabelle2025-1_macos.tar.gz (1.7G / 1731746682 bytes)84e2890547e312f8f3f69537b04efa95b27912a3cdbb1300f97a8f425429183d Isabelle2025-1.tar.gz (364M / 381240949 bytes)34e8f8c8029feccded962cca145fe8f9e34c8f21cccf1263cd3b059f7477b64a contrib/bash_process-20240326.tar.gz (35K / 35200 bytes)be274a3b94a865244672943916b0cb3e3e388c6d38f9cfc342e41beb309a08bc contrib/bib2xhtml-20190409.tar.gz (281K / 287429 bytes)bdaa29da1c7cb15c9370b66fc4709b85e082e1436f01cf349c8c07095b528f9c contrib/csdp-6.1.1-1.tar.gz (6.2M / 6471597 bytes)ba43d15b49a4ef87bceaaba65d321f831ab1533b37da44cce2a8d8d788f6c781 contrib/cvc5-1.2.0-1.tar.gz (45M / 46805717 bytes)9b9cecf2da9743e5656a44c670b892507b2028826d8af0cc517a990d617f3901 contrib/cygwin-20251103.tar.gz (87M / 90767411 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)7a6d54858c1c83afe65e8e1af85ad181be7a484cbdad394a110fa353d10d503e contrib/flatlaf-3.6.2.tar.gz (941K / 962844 bytes)8793f696d65a636471fd723b39a749f82fac693996b315d9864d726685bf460a contrib/foiltex-2.1.4b.tar.gz (390K / 398575 bytes)70e42d4e035da9e0ea9f56e637449735bc9451fa03ff14cc0e1256b08fcdb156 contrib/gnu-utils-20211030.tar.gz (609K / 622998 bytes)2ceb8109859efc0d1e1e49118eb625e2727da491b94c508196525572ad6ad950 contrib/Isabelle_app-20210126.tar.gz (7.4K / 7573 bytes)efaab73213a1a6f379e323ba5d4a55e2de10fd33e124af2bb469de83ea6e2177 contrib/isabelle_fonts-20241227.tar.gz (3.2M / 3300879 bytes)b9c0b5b1db41f6ade5d912c473a29a4bd0a19cb460273f87a0149ea0a886eecd contrib/isabelle_setup-20250613.tar.gz (26K / 26397 bytes)7b12a854bbfb8526718db0b106c93e8d712f1592959085e730a75fb0a1c3389a contrib/javamail-20251022.tar.gz (753K / 771031 bytes)5976cc7154ab55a851d915bbcc02edb1d028d32551702eb3c317d5c65750ed59 contrib/jdk-21.0.9.tar.gz (1002M / 1049817384 bytes)dc7bfaaef0fe5cfd5edb94c2489288702f76f9951e03e376052f1e6f50d59f2e contrib/jedit-20251128.tar.gz (21M / 21373231 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)e77b84f23cb49561ed60a80ae2172662253c00c530c7265fd64c6ea22d3d66a8 contrib/jsoup-1.21.2.tar.gz (453K / 463495 bytes)37690a1013511b5ae145a1b89ed694977570facc13aac0f738972c517e9020be contrib/jsvg-2.0.0.tar.gz (628K / 642513 bytes)058e48daf2dec59c132678522083dc8afd3c09bcb813c3a11a928d3cef910ea1 contrib/kodkodi-1.5.7.tar.gz (3.5M / 3570780 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)3899a32aeaaca34f6ba785156e42978eb841964dcdd19a9587c98ecadc8fff3f contrib/mlton-20241230-1.tar.gz (62M / 64444897 bytes)c7cd697059ac6acbfa9a8e28be2c858ce9313395a78b70853c057a0285d86387 contrib/naproche-20251110.tar.gz (31M / 31590238 bytes)b828ee079129b34f9c46f52a0c0e435fafd3689ed5d9f7a65b7b3d4034ba321b contrib/nunchaku-0.5.tar.gz (5.4M / 5583019 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)67351868c05440d72a514ca60e8ee1d3252b288d746eb7ad236bda5fcaf12272 contrib/polyml-5.9.2-2.tar.gz (37M / 38740810 bytes)d31251e6012f3d2df90a227b395b119976e66f90db39bcfc7cb53a75ff1edd7d contrib/postgresql-42.7.8.tar.gz (1018K / 1042005 bytes)d4a9c2d5aa0e0238bf908d41d2e7ca435d3cf7841c15d9da58cb62e8a9e74c60 contrib/prismjs-1.30.0.tar.gz (665K / 680424 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)fe78da329952c23b84afb2ceb07b0c78cf27a7b10ca12d81291269eaa8344108 contrib/solr-9.9.0.tar.gz (60M / 62507396 bytes)64beb5951f9f41407cde80453d79faaf0247da6ff6e4fa89882d967025a4114c contrib/spass-3.8ds-2.tar.gz (2.1M / 2198064 bytes)81586929c3874ba67f635abf4389ed5c776fc617f490074c40b001b5a14848f8 contrib/sqlite-3.51.0.0.tar.gz (17M / 17416018 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)fcf4466d94a863722ac1a6a6b0515dbe8832a20dbd74bdf81cfc9c704c8288a5 contrib/verit-2021.06.2-rmx-3.tar.gz (4.5M / 4629861 bytes)4657a4cf66ac9182568967b9cc40d5ae74e9ef27d40f1aa6008badd708454745 contrib/vscode_extension-20251205.tar.gz (62M / 64935118 bytes)b0a3143993fc0b490770ab47e49e3e25a04300cd642fb0d79feb1a93a904f1f9 contrib/vscodium-1.105.17075.tar.gz (728M / 762567412 bytes)bb8abc1d49ca4484162da8a2d27004a8112faba88be4eb2be7dd92aa0304e4a1 contrib/windows_app-20250315.tar.gz (42M / 43596350 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)758a9dfff564aef1d8352733e0c348361c7babfd1133c8e86030bf34bf830667 contrib/zstd-jni-1.5.7-6.tar.gz (8.9M / 9271621 bytes)