simplified using "value class";
more frugal command_status, which is often used in a tight loop;
unused;
more direct command states -- merge_results is hardly ever needed;
some rephrasing to ensure that this becomes cheap "foreach" and not expensive "map" (cf. 0fc032898b05);
tuned for-comprehensions -- less structure mapping;
tuned rendering -- visual indication of the status range, to make more clear when information might is out of view;
more uniform painting of caret, which also improves visibility in invisible state;
persistent protocol_status, to improve performance of node_status a little;
observe extra line spacing for output as well;
suppress slightly odd completion of "simp";
tuned whitespace;
document value generation for quickcheck's testers
more contributors;
New theorems for extracting quotients
tuned rendering;
new theorem about zero limits
merged;
moved generic theorems from Complex_Analysis_Basic; fixed some theorem names
reorder Complex_Analysis_Basics; rename DD to deriv