Restored Riemann_Mapping as an import of Complex_Analysis

proper file headers;

clarified modules;

merged

database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);

tuned signature: more operations;

clarified signature: more explicit types;

tuned signature;

removed somewhat pointless check;

tuned signature: fewer warnings in IntelliJ IDEA;

merged

Fixed a latex error in the markup

minor performance tuning: SQL.order_by is only for demo purposes;

support efficient access to state updates, based on LEFT OUTER JOIN;

tuned signature;

tuned: prefer if_proper expression;

tuned signature;

tuned: prefer if_proper expression;

New material by Wenda Li and Manuel Eberl

merged

export BNF properties about the cardinal bound (by Jan van Brügge)

unused (see 123f2c0995b8);

tuned;

more robust init_built: get_build_id and start_build within the same transaction;

tuned: remove redundant guard;

maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid; clarified database table "isabelle_build_updates";

more operations;

clarified signature: init_state vs. init_unsynchronized;

more thorough "isabelle build_process -C -r -f";

more operations;

tuned signature;

tuned signature: more uniform SQL.Data instances;

tuned signature;

tuned signature;

disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;

revert part of 5969ead9f900 that does not quite work yet: only one accidental host is used;

record updates within database, based on serial;

proper tables (amending 4611b7b47b42);

tuned;

clarified signature: improved data integrity;

clarified modules;

clarified modules;

obsolete;

misc tuning: prefer Build_Process.Update operations;

misc tuning and clarification: prefer explicit type Build_Process.Update;

misc tuning and clarification;

tuned signature;

clarified data representation: more uniform treatment of State.Pending vs. State.Running;

tuned: drop pointless SQL.order_by (see also 5f706f7c624b);

upgrade pretty_maybe_quote following 2746dfc9ceae;

tuned;

eliminate odd aliases (see also 2746dfc9ceae);

tuned signature: prefer bottom-up construction;

tuned;

tuned signature;

clarified signature;

tuned;

more operations for Build_Log.Meta_Info: prefer explicit types;

more operations for Date and Time;

more accurate patterns --- reverting unused fc3ba0a1c82f;