tuned;

merged

clarified signature: just one level of arguments to avoid type-inference…

tuned signature: more operations;

tuned;

clarified signature;

stated goals of some lemmas explicitely to prevent silent changes

rewrite proofs using to_pred attribute on existing lemmas

clarified signature: less redundancy;

tuned;

potentially more robust delay_load action: avoid loosing events due to guards;

tuned signature;

tuned;

tuned signature;

tuned signature;

more uniform tooltip for plugin options dialog;

tuned signature;

more uniform session selectors, with persistent options;

tuned;

removed Restricted_Predicates.irreflp_on following the introduction of…

NEWS

merged

added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp

added lemma totalp_on_converse[simp]

added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]

added type annotations and tuned formatting

strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]

merged

tuned GUI behaviour;

more GUI elements;

clarified modules;

clarified process: implicit load() when finished;

tuned;

more robust, notably initial update();

tuned messages: implement "verbose = false", but there is no theory output…

fixed Containers following introduction of irrefl_on

added lemmas irrefl_on_subset and irreflp_on_subset

merged

introduced predicates irrefl_on and irreflp_on, and redefined irrefl and…

tuned messages;