tuned whitespace in generated file;

tuned;

clarified modules;

recover Url.is_wellformed from before d8330439823a, e.g. relevant for JEdit_Resources.read_file_content (the URI alone does not necessarily have a protocol prefix, so plain file-path would be treated as URL);

proper php-fpm configuration for nginx;

support multiple webservers: Apache or Nginx;

tuned;

clarified signature: explicit type isabelle.Url to avoid oddities of java.net.URL (e.g. its "equals" method);

unused;

enforce rebuild of Isabelle/Scala + Isabelle/ML;

updated to postgresql-42.7.1;

updated to sqlite-jdbc-3.45.0.0, including slf4j-1.7.36;

update to llncs-2.23; update src/Doc/Demo_LLNCS to include the new mandatory section "Disclosure of Interests";

clarified bootstrap;

clarified directories;

clarified directories;

obsolete (see also fc88b943e1b2);

proper output, following 2cd23d587db9;

always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);

clarified directories;

more accurate Isabelle versions;

more accurate Ubuntu versions;

more uses of define_time_fun

translation to time functions now with canonical let.

merged

A few new results (mostly brought in from other developments)

merged

Added time function automation

streamlined type class specification

consolidated lemma name

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

more accurate syntax: 'obtain' vars are optional;

clarified order, disregard structure of proof;

minor performance tuning;

tuned;

more thorough treatment of hidden type variables within zproof;

more uniform treatment of "hyps" within zproof;

clarified order: follow Thm.fold_terms;

merged

clarified signature;

clarified signature;