39bb746c5b77ba53ed4477345da5112d8ce5648f52365f11f0fdeb05dfd600b8 Isabelle2019.exe (339M — 354861664 bytes)061ac20c1041d5c9799c7efba9106d195685aad0159953772844d24171e7681c Isabelle2019_library.tar.gz (284M — 297264081 bytes)2f6b204410e1343fe6e46739ea06c3c7c1b8be20941222227c1cda2090451996 Isabelle2019_linux.tar.gz (395M — 413153283 bytes)a422bc02a985182440eff0943735db8c9ae4b67190ed47d08c8d968385179a80 Isabelle2019_macos.tar.gz (395M — 414131327 bytes)269d0f0ea8af68090aff230dcf3c1af96e7ceea44d6bfb2d80691691959c75ae Isabelle2019.tar.gz (51M — 52939406 bytes)b7d223bd469498bfe2b5984b1ff0b689812003a8c1c4c408c5545f43adcda635 contrib/bash_process-1.2.3.tar.gz (59K — 60185 bytes)be274a3b94a865244672943916b0cb3e3e388c6d38f9cfc342e41beb309a08bc contrib/bib2xhtml-20190409.tar.gz (281K — 287429 bytes)8dd4069f47273766db1ce1525e5fb2a31b130bb772d97b40116bd5cabd1c78a5 contrib/csdp-6.x.tar.gz (3.4M — 3484313 bytes)0c53c7fdf7c80bcd5ee43700d853c39c926c747b72fe328f959c64af4d53d119 contrib/cvc4-1.5-5.tar.gz (28M — 28329769 bytes)64c1a0a658071741796a8a2cef5ac389704d720895f288478d2eaa32acdfee48 contrib/cygwin-20190524.tar.gz (57M — 59206121 bytes)6e6c7fbe42c6106b82fc5a00f0d0be1a161117dc22d1a5324d495eb5597d19c3 contrib/e-2.0-2.tar.gz (1.9M — 1982579 bytes)5ace19147e47507230fcbf7ed0823a9c6b514451c1b190c59f7806e36dbf8097 contrib/isabelle_fonts-20190409.tar.gz (3.1M — 3168135 bytes)678ce998ad0469c5084941ae33a66cbc9091fc94bd1d1368401f25453ea6fa2a contrib/jdk-11.0.3+7.tar.gz (549M — 575652816 bytes)a61dee833c53b19755b2a461af78d1554ff7ffbd366051ec3eff545c9fd691b1 contrib/jfreechart-1.5.0.tar.gz (2.5M — 2548304 bytes)cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M — 1723761 bytes)92c4ebb46b26832cd15762a77d5cac5cb1c5a3788953edc443d2a9a8909b3b9a contrib/kodkodi-1.5.2-1.tar.gz (2.7M — 2807569 bytes)43ec07f3b0a1fd4634fe392ebd7cf1f1a1e5c98d25b7cb51bc707328b572c7b2 contrib/linux_app-20131007.tar.gz (276K — 282009 bytes)fce086c4a484fe0748bfe84992a46ad11eb1caeb9254a754e430a339154bebd4 contrib/macos_app-20181208.tar.gz (45K — 46062 bytes)b828ee079129b34f9c46f52a0c0e435fafd3689ed5d9f7a65b7b3d4034ba321b contrib/nunchaku-0.5.tar.gz (5.4M — 5583019 bytes)d7b444833a9af4163f2bfe5c92bbb2530e6a8957ef9961c177a736fc43b694d4 contrib/opam-2.0.3-1.tar.gz (4.0M — 4092499 bytes)641b0c30ff05e5e190d8e5ec3deb5650ec19a686ebb708207839c71c3c3a8105 contrib/polyml-5.8.tar.gz (27M — 28214540 bytes)f130f369a5ec32268a63ad47c6af97756105e27e5d13b479f5a1c977a570d285 contrib/postgresql-42.2.5.tar.gz (752K — 769726 bytes)f8924f7fe6fde8ac1d8f0d0b610fae86429ae8a53cd2b180e99da21edd091757 contrib/scala-2.12.7.tar.gz (20M — 20421106 bytes)a4e071474f85e1869aa1acfc9ccd4b7e7f43f9c2054cfc6f054a4f4791e1e9ff contrib/smbc-0.4.1.tar.gz (3.3M — 3370801 bytes)657930bd1b464f6686206cfe130317701dc3a1bf963811166c0f39d9cc642e6d contrib/spass-3.8ds-1.tar.gz (993K — 1016164 bytes)57f80a9cb7f070b9af9d57f423c07f9b2a57bad593b4fa1073f606cbc7955e43 contrib/sqlite-jdbc-3.27.2.1.tar.gz (7.1M — 7444495 bytes)ab2f851193b4f72d92c79843b88b8f0fcaf3fa221d350e9492dc4b16fb0eec6a contrib/ssh-java-20190323.tar.gz (406K — 414794 bytes)ab54a71749e69472bf1ffab6f9657760459ecab9422bdf6fb1848a874b601e08 contrib/stack-1.9.3.tar.gz (28M — 29125525 bytes)eaa997e6d961024f8c088f77236cf0012105e55a6e9240f8358fdbb43aab2a65 contrib/sumatra_pdf-3.1.2.tar.gz (3.6M — 3752569 bytes)f85ff56828c014eec095de6b2415e4fc183c8b4072945cf9bca2aad1fbeb7e41 contrib/vampire-4.2.2.tar.gz (8.0M — 8385610 bytes)9769b3c2efb0d1728d25fa65a0309365ea483ac93d8a651e40527bf20ece09db contrib/windows_app-20181006.tar.gz (15M — 15372703 bytes)4b341614d7386458c9ce7a04f67ccf4cb5e9a5010f1141be1d0abb5f99cb5f69 contrib/xz-java-1.8.tar.gz (187K — 191258 bytes)ed0ac73b8c055a3d7f552864016ec0b23130717f18bbe5090a0d577295e6798c contrib/z3-4.4.0pre-3.tar.gz (15M — 15147273 bytes)