Changes

Summary

support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";
merged
tuned;
update links;
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
refer to "localhost" as pro-forma domain;
simplified specification of type class
consolidated name of lemma analogously to nat/int/word_bit_induct

Changeset 79487:47272fac86d8 by wenzelm: support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";
The file was modified	`etc/options` (diff)
The file was modified	`src/Pure/System/linux.scala` (diff)
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 79486:12e049905c0d by wenzelm: merged
Changeset 79485:50cd283a7218 by wenzelm: tuned;
The file was modified	`src/Doc/System/Phabricator.thy` (diff)
Changeset 79484:a11cf449a36e by wenzelm: update links;
The file was modified	`src/Doc/System/Phabricator.thy` (diff)
Changeset 79483:299568e54fac by wenzelm: follow post-maintenance updates of original Phabricator, as base-line for Phorge;
The file was modified	`etc/options` (diff)
Changeset 79482:a49db426ffd4 by wenzelm: refer to "localhost" as pro-forma domain;
The file was modified	`src/Doc/System/Phabricator.thy` (diff)
The file was modified	`src/Pure/Tools/phabricator.scala` (diff)
Changeset 79481:8205977e9e2c by haftmann: simplified specification of type class
The file was modified	`src/HOL/Bit_Operations.thy` (diff)
The file was modified	`src/HOL/Code_Numeral.thy` (diff)
The file was modified	`src/HOL/Library/Word.thy` (diff)
Changeset 79480:c7cb1bf6efa0 by haftmann: consolidated name of lemma analogously to nat/int/word_bit_induct
The file was modified	`src/HOL/Bit_Operations.thy` (diff)
The file was modified	`src/HOL/Code_Numeral.thy` (diff)