some generalizations complex=>real_normed_field

proper concept of code declaration wrt. atomicity and Isar declarations

merged

complete on long name components as well;

added command 'alias' and 'type_alias';

tuned;

tuned signature;

unused;

qualify Complete_Partial_Order2.compact

tuned;

proper fonts (cf. 1d219d76873b);

all_known can cause timeout of VSCode server startup, notably on Windows;

tuned documentation; updated package version; updated screenshot reference;

clarified screenshot;

NEWS;

tuned;

more documentation;

retain symlinks in file names from VSCode: relevant for proper file locations in decorations etc.;

clarified platform file operations;

more operations;

clarified signature;

more robust: always package;

prefer explicit link;

updated package;

provide --baseImagesUrl for VSCode extensions marketplace;

tuned;

updated package;

tuned;

added screenshot;

clarified;

updated package;

tuned;

tuned output;

tuned spelling;

more documentation;

auto update;

clarified editor focus;

proper hyperlink_command, notably for locate_query; support bidirectional caret update;

tuned signature;

proper dynamic controls, notably for auto_update_enabled;

tuned signature;

HTML GUI actions via JavaScript;

more operations/options;

clarified signature;

merged

support for HTTP/POST method; more explict type HTTP.Arg;

clarified defaults;

tuned signature;

auto update;

added missing files (cf. 5aa9cb83e70e);

auto update;

GUI controls similar to Tools/jEdit/src/state_dockable.scala;

GUI layout similar to Pure/GUI/wrap_panel.scala;

Removed more "guess", etc.

more error checking

merged