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