present ML timing as well;

Polynomial algebra cleanup (tuned)

Polynomial algebra cleanup

provide index.html; tuned;

cpu time is optional (see Timing.message_resources);

proper display of "_";

clarified options and arguments; tuned;

updated NEWS

optimized parent computation in MaSh

avoid loading MaSh file first time around for higher responsiveness of Sledgehammer

tuned MaSh's metacharacters to avoid needless decoding

optimization in MaSh parsing

tuned ML

removed trailing final stops in Nitpick messages

killed final stops in Sledgehammer and friends

tuned message

tuning punctuation in messages output by Isabelle

tuning whitespace in output syntax

gnuplot presentation similar to former isatest-statistics;

tuned;

statistics from session build output;

more uniform output;

added [simp] lemmas

more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;

merged

active jEdit actions;

more symbols;

clarified syntax;