tuned signature;

tuned;

tuned error dialog;

init gutter according to view properties, which improves symmetry of windows and allows use of folds etc;

more subgoal markup information, which is potentially useful to manage proof state output;

merged

contribution by A. Colgio

merged

renamed "emb" to "list_hembeq"; make "list_hembeq" reflexive independent of the base order; renamed "sub" to "sublisteq"; dropped "transp_on" (state transitivity explicitly instead); no need to hide "sub" after renaming; replaced some ASCII symbols by proper Isabelle symbols; NEWS

actually request heap image in initial up-to-date check;