equal
deleted
inserted
replaced
356 /usr/local/bin/isabelle-phabricator-upgrade and each installation root |
356 /usr/local/bin/isabelle-phabricator-upgrade and each installation root |
357 directory (e.g. /var/www/phabricator-vcs/libphutil). |
357 directory (e.g. /var/www/phabricator-vcs/libphutil). |
358 |
358 |
359 * Experimental support for arm64-linux platform. The reference platform |
359 * Experimental support for arm64-linux platform. The reference platform |
360 is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit). |
360 is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit). |
|
361 |
|
362 * Partial support for arm64-darwin (Apple Silicon): most x86_64 |
|
363 executables work well with runtime translation by Rosetta, but |
|
364 occasional problems remain (e.g. external provers). |
361 |
365 |
362 |
366 |
363 |
367 |
364 New in Isabelle2020 (April 2020) |
368 New in Isabelle2020 (April 2020) |
365 -------------------------------- |
369 -------------------------------- |