generalized definition

tuned output;

update File_Model based on file-system events;

tuned;

clarified modules; tuned;

tuned;

tuned signature;

merged

fix problems because of "surj" input abbreviation; tuned

hide global sum

gcd/lcm on finite sets

moved some lemmas to appropriate places

slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization

fixed LaTeX problems

Jordan Curve Theorem

Advanced topology

NEWS for VSCode;

merged

more documentation;

added node_name(String): imitate jEdit buffer operations; more uniform get_file_content for external source file references;

tuned;

tuned signature;

avoid immediate editor.flush on buffer events;

refer to internal File_Model instead of external file;

tuned;

resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;

tuned;

support for bibtex entries;

tuned;

tuned signature;

more explocit Document_Model.Content;

refer to bibtex entries via general Document_Model, instead of editor buffers;

clarified modules;

uniform Document.Model.node_edits (without void edits);

clarified check_thy_reader: check node_name here;

more uniform node_header (non-strict); removed dead code;

tuned signature;

tuned signature;

tuned;

clarified lazy text content;

Line.Document consists of independently allocated strings; tuned signature;

obsolete;

clarified buffer events: exit model while loading; misc tuning;

separate Buffer_Model vs. File_Model; misc tuning and clarification;

tuned;

tuned;

tuned;

manage buffer models as explicit global state; tuned signature;

tuned signature;

obsolete

more informative error for spurious crash;

merged

tuned;

dummy File_Watcher for Windows (spurious crashes seen on Windows 7);

more robust treatment of logical lines;

updated package;