clarified signature;

tuned;

more operations;

clarified scope of cache: avoid nested typ_cache;

clarified scope of cache: per theory body;

tuned module structure;

clarified signature: more operations;

merged

tuned

added nicer proof

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;

clarified;

log and display components with empty (unknown) revisions to indicate that they are present;

tuned log: omit previous changeset;

take care of facts in cartouches

Simplified a few proofs

tuned display;

NEWS and CONTRIBUTORS;

tuned HTML display of ANSI colors for better readability;

render hg diff and log (on separate page);

clarified;

store hg log in addition to diff;

clarified names;

tuned;

NEWS: totalisation of ln