Tue, 15 Nov 2005 20:50:21 +0000 klao bugfix in undir_graph_extender -> graph_extender transition
Mon, 14 Nov 2005 18:55:19 +0000 deba String->Double
Mon, 14 Nov 2005 18:40:15 +0000 deba Documentation fixes
Mon, 14 Nov 2005 18:39:17 +0000 deba Arrangement of the documentation changed