cb22a2a89142d1421726a08b2f6bbc96be41e3768e37191ddff18a13d3788fab Isabelle2017.dmg (190M)
66c30054e0e97c3396a27c205dd28f147c5da696211bcda410ca68b57f526cbb Isabelle2017_dmg.tar.gz (171M)
371e909ea4bf98576693f2c7ed0aafa59dfdae791af5a495343d58e9623c0aab Isabelle2017_library.tar.gz (101M)
fca55aade626b611f4167d6fede2647247e746c6286cb40a9655392f55fe6107 Isabelle2017_linux.tar.gz (262M)
f81bcffb5f7b7da1d9e937804e6346d93e6bd5d153011e01b0da929001f119f2 Isabelle2017_macos.tar.gz (170M)
a3d65e78ef920ce5664222507ec4892548b8034bf827dc39e74fdea3b80b79d8 Isabelle2017.tar.gz (41M)
6b77295539c49f8ca68b765b809b0fcdc078d2893dc51ed03d0280aa34fa19f4 Isabelle2017-win32.exe (159M)
999188f58638d6c27177da02e9d276940a472cb17444592016ae2ca0c9dd985a Isabelle2017-win64.exe (163M)
0e240eba01f48e0d3b9d737909a0b78a007eaa205761cf37145a49c66bd8f9a3 Isabelle2017_windows64.tar.gz (225M)
59bd21bb2533cbf8a4f2dc657e4ea9698a3b21af7eb80cf45e19ab92c1c52957 Isabelle2017_windows.tar.gz (219M)
50ba6bed5a8fbcf26b9e9b090af783e1288daa9b6d2e67ec65e7de8621049bf4 contrib/bash_process-1.2.1.tar.gz (33K)
8dd4069f47273766db1ce1525e5fb2a31b130bb772d97b40116bd5cabd1c78a5 contrib/csdp-6.x.tar.gz (3.4M)
a3343c4255ac2d1f64f83d4feba2ed076da23e429f145da0066a9cd66e932162 contrib/cvc4-1.5-3.tar.gz (33M)
7ce685574f796baf7ea6d7b392f20a623eb4798d02cddab9cb2ecbb21a6a4d58 contrib/cygwin-20170828.tar.gz (51M)
e09495fffc6ccf24ead275b46a72a9f4fc2a3e17fc651148a3deac8b13e6dd15 contrib/e-2.0-1.tar.gz (2.6M)
1e99293f2f77f906f32c3974becd7c4a9d474050d3ab78222e3e5f40fe3d8fce contrib/isabelle_fonts-20160830.tar.gz (244K)
9fc1a7c0f77f34b965e4bc482681ea5f33ddaf988320971f2b298b4d837ce7d5 contrib/jdk-8u144.tar.gz (701M)
b0eb7365c4c5877379889100f081a4afc4117afc0d332941c3dd01bef2c4aee9 contrib/jfreechart-1.0.14-1.tar.gz (3.3M)
cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M)
1518d75f3748aa7c791623ff1508b4202f14d744e13b9bd41abf575429caa2b7 contrib/kodkodi-1.5.2.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)
6091bbdbad437b6a0293e8091642bf204ff1d71f8d262de46ae200357d98f113 contrib/polyml-5.6-1.tar.gz (22M)
ccb2053bd9fd964311c0072a8cae1b0fda6235811dcbd09766ec8b4e6054bb46 contrib/postgresql-42.1.4.tar.gz (659K)
57137fdc427f86a3257361e634a9d407f146c9e29070e826f8145dc62032fc31 contrib/scala-2.12.3.tar.gz (19M)
a4e071474f85e1869aa1acfc9ccd4b7e7f43f9c2054cfc6f054a4f4791e1e9ff contrib/smbc-0.4.1.tar.gz (3.3M)
3e405d01d9c7f94134e63e9d1fefd4a47b41a9326d91d9a3b6286e31f2574963 contrib/spass-3.8ds.tar.gz (1.3M)
565d7f29e3d100c6a7a170ce9e380346c861a004c33c87227f97fdc1af43dad8 contrib/sqlite-jdbc-3.20.0.tar.gz (9.0M)
60d9448e664a357816e64e4d21ce0db9fb27354e8c64e1199c4be839b084145e contrib/ssh-java-20161009.tar.gz (404K)
eaa997e6d961024f8c088f77236cf0012105e55a6e9240f8358fdbb43aab2a65 contrib/sumatra_pdf-3.1.2.tar.gz (3.6M)
fe94ce37d1e7ca7f335911a69d606688ddfd5225e6547087b7c8a471ca919f43 contrib/windows_app-20150821.tar.gz (8.5M)
b9f00a72156b1d6845aeedaa3a91b8dad5573e9241acdbc9deaa487901684923 contrib/xz-java-1.6.tar.gz (170K)
9d3ded3454d36cefdb971473eb820d9564495c27c4bb6f95c7feaaf259584b8d contrib/z3-4.4.0pre.tar.gz (21M)