better poller: don't start job when same version is already running;

clarified: more uniform;

merged

added lemmas wfp_on_antimono_stronger and wf_on_antimono_stronger

More streamlining

merged

Revised mixfix and streamlined proofs

clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7);

tuned output, following Isabelle/Scala;

clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm;

clarified signature, following Isabelle/Scala;

afford larger example (see also ccf9241af217);

more scalable operations;

tuned;

tuned (see also 4879d0021185);

tuned signature;

merged

clarified signature: afford explicit Scala data types;

tuned signature;

tuned signature (again);

clarified signature: more self-contained paint_chunk_list;

clarified signature: more arguments;

tuned;

clarified popup layer (not relevant yet);

clarified signature;

misc tuning and clarification;

tuned;

tuned signature;

tuned website;

proper parse (amending dd86d35375a7);

allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;

clarified;