Wed, 31 Dec 2014 14:15:52 +0100 | wenzelm | for graph display, prefer graph data structure over list with dependencies; | changeset | files |
Wed, 31 Dec 2014 14:13:11 +0100 | wenzelm | more explict and generic field names | changeset | files |
Wed, 31 Dec 2014 14:08:50 +0100 | wenzelm | uniform variable name for presentation graphs, to distinguish from values of type Graph.T | changeset | files |