Removed a bit of unnecessary material

merged

added lemma multpHO_plus_plus[simp]

merged

Shortened several messy proofs

Shortened a messy proof

Fix name clash in Frequency_Moments.

Fixed a name clash

Moving more material to the distribution

Moving some material to the main repository

Moved in some material from the AFP entry Winding_number_eval

merged

tuned messages: less verbosity;

tuned message, following "isabelle components -a";

prefer Other_Isabelle.init instead of adhoc scripts;

clean components more accurately: purge other platforms or archives;

more operations for SSH.System;

clarified signature;

manage other Isabelle distributions via SSH;

tuned;

more operations for SSH.System;

recovered option -C from 092449efcb0e (still required for isabelle_cronjob.

clarified parameters (again);

Some new material from the AFP

clarified defaults: imitate "isabelle components -I" without further parameters;

tuned;

merged

more robust locations (amending 7e11e96a922d) --- notably for cleanup() in…

tuned;

clarified defaults (see also b310b93563f6);

tuned comments;

more formal Other_Isabelle.settings, with derived expand_path / bash_path;

tuned;

clarified signature: minimal interface for getenv/expand_env, instead of bulky…

discontinued adhoc change of environment (from 897f1ac84aab), following ssh…

discontinued adhoc change of environment (from c62b99e3ec07), which has been…

removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);

more operations;

more robust and uniform Other_Isabelle.scala_build;

tuned;

more robust: self-contained Other_Isabelle.isabelle_home;

tuned;

tuned message;

more robust (see also 7f55a3e28c88): resolve components from current Isabelle…

more strict;

tuned signature;

proper ssh.bash_path;

adapted to db93f67a;

merged

added lemma irreflp_on_multpHO[simp]

added lemmas totalp_on_multpDM, totalp_multpDM, totalp_on_multpHO, and…

Beautifying an old entry

merge from afp-2022

new entry HoareForDivergence

merged

metadata for Suppes' theorem + sitegen

new entry: Suppes' Theorem

metadat for StrictOmegaCategories

tuned css;

cleanup accidental unused document files;

new entry StrictOmegaCategories

tuned css;

tuned;

check ROOTs: add warning-only checks;

add ROOT checks for document presence and unused files;

update bibtex example;

afp-submit visual improvements;

sitegen for AOT

New entry: Propositional_Logic_Class

merged

new doi

sitegen for Cook_Levin

New entry AOT

Metadata for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Boolos_Curious…

New entry Cook_Levin

Sorry — extra files for Boolos_Curious_Inference_Automated

New entry: Synthetic_Completeness

New entry Boolos_Curious_Inference_Automated

New entry Birkhoff_Finite_Distributive_Lattices

New entry: Quantifier_Elimination_Hybrid

sitegen for Kneser_Cauchy_Davenport

sitegen for Turan

metadata for Kneser_Cauchy_Davenport

new entry: Kneser_Cauchy_Davenport

added metadata for Turans graph theorem

new entry Multitape_To_Singletape_TM

new entry: Turans Graph Theorem

removed static pages from rss feed;

sitegen for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Sauer_Shelah_Le…

New entry Sauer_Shelah_Lemma

Minor rerating of the abstract of Sauer_Shelah_Lemma

sitegen for the aforementioned changes

CHERI-C_Memory_Model patch & metadata

New submission CHERI-C_Memory_Model

adjustments to the abstract, requested by the author

metadata and sitegen for PAPP_Impossibility

fixed broken abstract for PAPP_Impossibility

updated docs;

improve page layout slightly;

remove dead code