clarified modules;

suppress ASCII art;

Sidekick parser for isabelle-ml and sml mode;

clarified handling of plain theory commands;

support for context block structure in Sidekick;
tuned;

tuned;

clarified modules;