Report - MakariusWenzel 15April2020 IsabelleISABELLE_WINDOWS_PLATFORM64,ISABELLE_WINDOWS_PLATFORM32. ISABELLE_PLATFORM64 ∗ , ISABELLE_PLATFORM32 indicate the standard Posixplatform:x86_64

Please pass captcha verification before submit form