b3a23f5671d11485bc5b123880643da2c08277db840797985b72964488b1db9b Isabelle2023.exe (520M / 544245616 bytes)e5f4621f4a8117802e9676a4ce079a3a5fa475693794f46f47751a776b8cdd37 Isabelle2023_library.tar.gz (151M / 157949633 bytes)4f3c71b3480ac3abf299b6972331fcb4ae55814ae9388a7dbdc590ff3c674427 Isabelle2023_linux_arm.tar.gz (595M / 623824573 bytes)1a8e190ac0f3e6027bb961b954bacd24e75d30f5f5f06f7d14069da57e7746a8 Isabelle2023_linux.tar.gz (630M / 660494085 bytes)d15496d92ac7348dff938702099ef6e2bb976aaed6d4d08fb0bad7159f65d7f4 Isabelle2023_macos.tar.gz (877M / 918556391 bytes)5ee35254f752b755d308a767b35a9a59de008e204c88216ebf4c89a2b80433dd Isabelle2023.tar.gz (40M / 41527862 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)ca58856a868dcb84d2bd9be0d54aeb7a34836b04d1bc409a05378108b44a168a contrib/cygwin-20230711-1.tar.gz (67M / 70113520 bytes)1bf59be0b321e87afa2dec98ca01e1fb2077f01a5c6b3cec7128f599b06ac717 contrib/e-2.6-1.tar.gz (6.6M / 6881174 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)e5b17de5e04496f60b3857272aca1198912fb12caf3526f4cc976a2673a8eebe contrib/isabelle_setup-20230206.tar.gz (25K / 25264 bytes)da14c29ec9f5a71cfc316efbb9ad389323d522acced9c5bdb531aaca5382ca38 contrib/jdk-17.0.7.tar.gz (921M / 965254414 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)448705d8a279809a198f8116ddd7ea5c48575b4a2abdb09cc140770f2da67222 contrib/jsoup-1.15.4.tar.gz (402K / 411437 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)fa76f3303a7a5885bccc059612a64d4e4bbc12e29755b018d63215637d7735f0 contrib/llncs-2.22.tar.gz (224K / 228919 bytes)e6a2e24a6e8f6acf8259807c0912f9686199b16d0b0aca745909ae94c38a5b0a contrib/minisat-2.2.1-1.tar.gz (3.6M / 3677436 bytes)7951b5f2218173d6d6c56944df40dde5067c88f8e04c3c29be6019057918955a contrib/mlton-20210117-1.tar.gz (19M / 19557529 bytes)58e0c94dd3dbcc40b8d0ceef2661d9345cbdf8ea117df0a79ab5edad57dae635 contrib/naproche-20230902.tar.gz (15M / 14697083 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)b1bb8e4ee2c74427e4f49a6b692838f981c8c53e1b006f62ca8630af7999d3b4 contrib/polyml-219e0a248f70.tar.gz (36M / 36925300 bytes)2976f4fa4967f867775fb477e57169b873f9b8776dde40aa7a83a3ccb613b056 contrib/postgresql-42.6.0.tar.gz (981K / 1003990 bytes)9b7bff3d1561cc199cf9e95a9e6a9aa7ba6425958a218676e471a7263a471871 contrib/prismjs-1.29.0.tar.gz (665K / 680219 bytes)a4965b7a494e96c6d10428c8f36a21fe61a943e73fbc35101ad23f8e60956136 contrib/rsync-3.2.7.tar.gz (3.6M / 3683124 bytes)eba20723017929324dc75a55b2f65999b64b3fa42b39eacea1be1c759ef1314f contrib/scala-3.3.0.tar.gz (39M / 40657375 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)a7f801749921466f3542124721858ea92426281624508f0360a9dfa3d1aa266e contrib/sqlite-jdbc-3.42.0.0-1.tar.gz (16M / 15801888 bytes)6d0ff3292e4a92c15b7f058346d3d6e29cc7370b35755840ebc25581714ad1dc contrib/stack-2.9.3.tar.gz (52M / 54472484 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)8d7da1b4854d6dcc4466d3d22697f4d5b8cd764e12daf6539a41fc45a54743b5 contrib/vscode_extension-20230206.tar.gz (809K / 827458 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)ad6638df1e21968d20712a3b5656447b712eca721689e53d17c93e061c242668 contrib/zstd-jni-1.5.5-4.tar.gz (7.6M / 7915008 bytes)