more options;

clarified Console_Progress.echo: include empty lines as in other Progress instances, especially relevant for Progress.bash (e.g. "isabelle phabricator ./bin/config help");

documentation on Phabricator server administration;

tuned message;

added "isabelle phabricator";

New library material from the AFP entry ZFC_in_HOL

tuned order between theories

bit shifts as class operations

new lemma

tuned comments;

merged

retain type information from reconstruct_proof, notably for Export_Theory.export_thm;

tuned proofs;

clarified modules;

more robust;

tuned modules;

tuned proofs -- more stable proof terms without [rule_format];

merged

A slight tidying up of messy proof steps

tuned declarations for more compact proof terms;

prefer named facts; tuned signature;

clarified contexts; prefer named facts;

tuned messages;

clarified command-line;