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 |
|
363 |
361 |
364 |
362 |
365 |
363 |
366 New in Isabelle2020 (April 2020) |
364 New in Isabelle2020 (April 2020) |
367 -------------------------------- |
365 -------------------------------- |