equal
deleted
inserted
replaced
48 x86_64-windows Windows 10 |
48 x86_64-windows Windows 10 |
49 x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release) |
49 x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release) |
50 |
50 |
51 Experimental platforms: |
51 Experimental platforms: |
52 |
52 |
53 arm64-linux Raspberry Pi OS 64bit beta (Debian 10 / Buster) |
53 arm64-linux Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:20.04 bash") |
54 |
54 |
55 |
55 |
56 64 bit vs. 32 bit platform personality |
56 64 bit vs. 32 bit platform personality |
57 -------------------------------------- |
57 -------------------------------------- |
58 |
58 |