25278984f186eed5b2a47d5b536a2589c565d33aba2b1849c074425e9cde964b Isabelle2018.dmg (214M)e5e19469fab6470794ccc2b6d9be1b79b7cf6f460deb2bd2bea33a3065a61e2a Isabelle2018_dmg.tar.gz (189M)610e019167fc29fea744ee723598bd496b85e2525e200b180a94e6b563cf00c0 Isabelle2018.exe (170M)e7184f0ee59a7620340d76efc98a28008bbe5e05d250d79e383f0193d085ee9c Isabelle2018_library.tar.gz (106M)57673898464a443b9c40b2476973950d557c9905a3c739844e37ecc033a748a4 Isabelle2018_linux.tar.gz (191M)30ea420ca2476ebc2a96f692f23cffa7488d0e227cfc454f7171b358bef90c70 Isabelle2018_macos.tar.gz (189M)e3464996b4ed704133401e2982d1073ef8c5797d78cf94c2ab9beddae0ecc8ef Isabelle2018.tar.gz (44M)f7d64395a0d8377859ae57613fdb49f0877cbe1b091147cc40aa4f07a27180e6 Isabelle2018_windows.tar.gz (235M)9b06f7a6c03694b2a65aa65c02bad86ec7480dd7588a7d3e84e5ecc8c64fdb33 contrib/bash_process-1.2.2.tar.gz (53K)5593ccc92ef9c3bfd16cb7c6f19dd268b491c5c6f82794f46655eaaec500811e contrib/bib2xhtml-20171221.tar.gz (276K)8dd4069f47273766db1ce1525e5fb2a31b130bb772d97b40116bd5cabd1c78a5 contrib/csdp-6.x.tar.gz (3.4M)927dab127613cc4ff0904027527555d12ba7bf874144b3270cad577548b785a9 contrib/cvc4-1.5-4.tar.gz (27M)c52d4ead56045392643611371df64d7454d41361d82f13274e54f5917c998d80 contrib/cygwin-20180604.tar.gz (52M)6e6c7fbe42c6106b82fc5a00f0d0be1a161117dc22d1a5324d495eb5597d19c3 contrib/e-2.0-2.tar.gz (1.9M)8d6306dd406a5351371f9699c1bf273587c37b3e8efb8bcf4d01f5cddd0bfde7 contrib/isabelle_fonts-20180113.tar.gz (244K)1f148b4569829c9538014607ee6f48c39dc1716f9179683205aff39b441d3cd9 contrib/jdk-8u181.tar.gz (473M)a61dee833c53b19755b2a461af78d1554ff7ffbd366051ec3eff545c9fd691b1 contrib/jfreechart-1.5.0.tar.gz (2.5M)cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M)92c4ebb46b26832cd15762a77d5cac5cb1c5a3788953edc443d2a9a8909b3b9a contrib/kodkodi-1.5.2-1.tar.gz (2.7M)43ec07f3b0a1fd4634fe392ebd7cf1f1a1e5c98d25b7cb51bc707328b572c7b2 contrib/linux_app-20131007.tar.gz (276K)43e76a939381788c5d25b964b77f68d3fdd9a8071b9e9689dda39d94f65cd1f2 contrib/macos_app-20130716.tar.gz (5.9K)b828ee079129b34f9c46f52a0c0e435fafd3689ed5d9f7a65b7b3d4034ba321b contrib/nunchaku-0.5.tar.gz (5.4M)2e4b4d95084205d39a0627ac8bf3a15abdf8dc50eccf44153a76d353b9f5f2ac contrib/polyml-5.7.1-8.tar.gz (24M)13d83787ab83f27d1ba6c6c34f20f08b8abb87efad604989d052ff7b09a8b692 contrib/postgresql-42.2.2.tar.gz (721K)ff1c695b5b0c1aa6d797dd79ee159de8341e51abb8e0eb312239562dbb6e8840 contrib/scala-2.12.6.tar.gz (20M)a4e071474f85e1869aa1acfc9ccd4b7e7f43f9c2054cfc6f054a4f4791e1e9ff contrib/smbc-0.4.1.tar.gz (3.3M)657930bd1b464f6686206cfe130317701dc3a1bf963811166c0f39d9cc642e6d contrib/spass-3.8ds-1.tar.gz (993K)e83e4b8d4ef612d5279c23f0e4bd67377d954154dcedfc501b01a50a0f44e115 contrib/sqlite-jdbc-3.23.1.tar.gz (8.2M)60d9448e664a357816e64e4d21ce0db9fb27354e8c64e1199c4be839b084145e contrib/ssh-java-20161009.tar.gz (404K)eaa997e6d961024f8c088f77236cf0012105e55a6e9240f8358fdbb43aab2a65 contrib/sumatra_pdf-3.1.2.tar.gz (3.6M)f85ff56828c014eec095de6b2415e4fc183c8b4072945cf9bca2aad1fbeb7e41 contrib/vampire-4.2.2.tar.gz (8.0M)fe87b8c4dfa11839b3fba2766ad83de9458c8e2448fc7b159166ce6cebf364ce contrib/windows_app-20180417.tar.gz (15M)4b341614d7386458c9ce7a04f67ccf4cb5e9a5010f1141be1d0abb5f99cb5f69 contrib/xz-java-1.8.tar.gz (187K)6f5cb529222dcbadb987d479a277dae0a713b1bb38acc8f6f1389662301e5c8d contrib/z3-4.4.0pre-2.tar.gz (15M)