new entry PAPP_Impossibility

metadata and sitegen for Balog_Szemeredi_Gowers

remove old .sitegen-ignore and mention AFP chapter in submission guidelines;

afp_check_roots: proper error message printing;

new entry: Balog_Szemeredi_Gowers

make check roots tool less dependent on AFP structure;

web for Combinatorial_Enumeration_Algorithms

tuned check names;

sitegen for Combinatorial_Enumeration_Algorithms

tuned;

New entry Combinatorial_Enumeration_Algorithms

fix duplicate affiliations from author and notify;

check for entries instead of session due to session nesting allowed in entries;

add metadata check tool to sitegen;

added unused thy check;

update check tools: add formatting checks, new cmd options;

afp-submit: tuned logging;

afp-submit: encode new notify addresses properly;

clarified check roots tool;

re-format metadata;

afp-submit: remove padding on select;

afp-submit: correct build status on empty file;

afp-submit: update on correct status change;

afp-submit: clarified date format, tuned logging;

switch fonts to www prefixed isa-afp.org domain;

clarified afp-submit error handling;

switch to www prefixed isa-afp.org domain;

clarified afp-submit creation and message;

list submission system website;

afp-submit: clarified api urls;

generalized theory name: euclidean division denotes one particular division…

generalized theory name: euclidean division denotes one particular division…

more efficient specification

more elementary command-line, following lib/Tools/components;

merged

support remote operations;

clarified defaults;

more accurate options (amending 7e19dc018db9);

clarified defaults;

more modular shell script;

support remote download_file;

tuned: drop redundant "expand";

more uniform options for "curl", following lib/Tools/components;

tuned;

added lemmas total_on_mult, total_mult, totalp_on_multp, and totalp_multp

proper name for lemma totalp_on_total_on_eq

Removal of more unused material

Small simplifications. Removed a needless assumption.

update to jdk-17.0.6;

avoid odd suffix in published HTML library;

proper cleanup;

tuned message;

tuned signature: avoid aliases;

tuned;

tuned signature;

clarified modules (again, in contrast to f8f065e20837);

support IPC via database server;

proper signature;

support specific connection types, for additional operations;

isabelle update -u cite;

more accurate root.bib, based on original \bibitem entries in root.tex…

Fixed the bib issues and supplied a root.bib based on the one in…

merged

Added the missing .bib file

proper bib context for formal citations, although there is no document;

back to unchecked \cite: entry lacks .bib file;

back to unchecked \cite: entry lacks .bib file;

back to unchecked \cite: there is entry lacks .bib file;

more correct and complete bibliography;

tuned;

proper position for semantic completion: avoid duplicate quotes;

tuned signature;

clarified signature;

clarified signature;

proper positions for Isabelle/ML, instead of Isabelle/Scala;

dismantle special treatment of citations in Isabelle/Scala;

obsolete (see also 01c9b3033036);

more direct check of bibtex entries via Isabelle/Scala;

support Session argument for Scala.Fun;

proper citations for unselected theories, notably for the default selection of…

tuned signature;

more robust theory_source -- in contrast to node_source from fffb978dd683…

tuned;

clarified signature;

tuned;

proper citation;

merged

added lemmas image_grounding_of_cls_grounding_of_cls and…

isabelle update -u cite;

merged

clarified "selected" status;

merged

uniform keywords for embedded syntax;

tuned signature;

clarified signature;

clarified signature;

more complete index;

parse citations from raw source, without formal context;

tuned signature: fewer warnings in IntelliJ IDEA;

tuned comments;