2016-04-04 wenzelm 2016-04-04 clarified bootstrap -- more uniform use of ML files;
2015-09-25 wenzelm 2015-09-25 tuned signature: eliminated pointless type Context.pretty;
2015-04-16 wenzelm 2015-04-16 discontinued pointless warnings: commands are only defined inside a theory context;
2015-04-16 wenzelm 2015-04-16 tuned;
2015-04-16 wenzelm 2015-04-16 tuned signature;
2015-04-16 wenzelm 2015-04-16 misc tuning and clarification;
2015-04-06 wenzelm 2015-04-06 @{command_spec} is superseded by @{command_keyword};
2015-01-22 haftmann 2015-01-22 backed out obsolete workaround from ef1edfb36af7
2015-01-21 haftmann 2015-01-21 disjunctive bottom and supremum lists
2015-01-21 haftmann 2015-01-21 option for formally inlined class specifications in hierarchy graph
2015-01-17 wenzelm 2015-01-17 clarified Class.pretty_specification: imitate input source;
2015-01-06 wenzelm 2015-01-06 tuned;
2015-01-05 haftmann 2015-01-05 formal pretty bodies for class specifications, accepting additional formal bookkeeping in locale.ML
2014-12-31 wenzelm 2014-12-31 clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names); tuned;
2014-12-31 wenzelm 2014-12-31 for graph display, prefer graph data structure over list with dependencies; pragmatic distinction between (historically evolved) "session" nodes and (more abstract) "content" nodes
2014-12-31 wenzelm 2014-12-31 more explict and generic field names
2014-12-31 wenzelm 2014-12-31 uniform variable name for presentation graphs, to distinguish from values of type Graph.T
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-11-03 wenzelm 2014-11-03 eliminated unused int_only flag (see also c12484a27367); just proper commands;
2014-09-07 haftmann 2014-09-07 restrictive options for class dependencies
2014-09-07 haftmann 2014-09-07 separated class_deps command into separate file