Wed, 31 Dec 2014 21:45:30 +0100 converse graph according to Graph_Display;
wenzelm [Wed, 31 Dec 2014 21:45:30 +0100] rev 59212
converse graph according to Graph_Display;
Wed, 31 Dec 2014 20:55:11 +0100 eliminated TTY/PG legacy;
wenzelm [Wed, 31 Dec 2014 20:55:11 +0100] rev 59211
eliminated TTY/PG legacy;
Wed, 31 Dec 2014 20:42:45 +0100 clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names);
wenzelm [Wed, 31 Dec 2014 20:42:45 +0100] rev 59210
clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names); tuned;
Wed, 31 Dec 2014 14:28:04 +0100 tuned;
wenzelm [Wed, 31 Dec 2014 14:28:04 +0100] rev 59209
tuned;
Wed, 31 Dec 2014 14:15:52 +0100 for graph display, prefer graph data structure over list with dependencies;
wenzelm [Wed, 31 Dec 2014 14:15:52 +0100] rev 59208
for graph display, prefer graph data structure over list with dependencies; pragmatic distinction between (historically evolved) "session" nodes and (more abstract) "content" nodes
Wed, 31 Dec 2014 14:13:11 +0100 more explict and generic field names
wenzelm [Wed, 31 Dec 2014 14:13:11 +0100] rev 59207
more explict and generic field names
Wed, 31 Dec 2014 14:08:50 +0100 uniform variable name for presentation graphs, to distinguish from values of type Graph.T
wenzelm [Wed, 31 Dec 2014 14:08:50 +0100] rev 59206
uniform variable name for presentation graphs, to distinguish from values of type Graph.T
Wed, 31 Dec 2014 14:05:06 +0100 stripped ad-hoc diagnostic facility
wenzelm [Wed, 31 Dec 2014 14:05:06 +0100] rev 59205
stripped ad-hoc diagnostic facility
Wed, 31 Dec 2014 11:27:26 +1100 update map definition in Prog_Prove for new datatype package
kleing [Wed, 31 Dec 2014 11:27:26 +1100] rev 59204
update map definition in Prog_Prove for new datatype package
Tue, 30 Dec 2014 23:45:03 +0100 explicit message channel for "legacy", which is nonetheless a variant of "warning";
wenzelm [Tue, 30 Dec 2014 23:45:03 +0100] rev 59203
explicit message channel for "legacy", which is nonetheless a variant of "warning";
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip