clarified control antiquotations: decode control symbol to get name; document antiquotations @{emph}, @{bold}; symbol interpretation for \<^emph>; tuned;

more documentation;

support control symbol antiquotations;

clarified Symbol.is_control;

added 2-3 trees (simpler and more complete than the version in ex/Tree23)

code abbreviation for mapping over a fixed range

back to lxbroy3, which appears to be free at the moment;

tuned signature;

merged

more uniform command setup;

added 'paragraph', 'subparagraph';

clarified Latex.environment;

more explicit output of list items;

tuned;

clarified nesting of paragraphs: indentation is taken into account more uniformly; tuned;

Markdown support in document text;

clarified Antiquote.antiq_reports; Thy_Output.output_text: support for markdown (inactive); eliminared Thy_Output.check_text -- uniform use of Thy_Output.output_text;

trim_blanks after read, before eval; clarified Raw_Token: uniform output_text; tuned signature;

clarified modules;

load markdown.ML into Pure;

proper recursive nesting of adjacent lists;

tuned;

clarified line content: source without marker prefix;

more markup;

report Markdown document structure;

more comments;

unused -- avoid confusion in Symbols dockable;

proper nesting of adjacent lists;