Mon, 26 Apr 2004 17:10:27 +0000misc
marci [Mon, 26 Apr 2004 17:10:27 +0000] rev 423
misc

Mon, 26 Apr 2004 17:05:22 +0000macro erase
jacint [Mon, 26 Apr 2004 17:05:22 +0000] rev 422
macro erase

Mon, 26 Apr 2004 16:58:14 +0000For working with undirected graphs, head is changed to aNode.
marci [Mon, 26 Apr 2004 16:58:14 +0000] rev 421
For working with undirected graphs, head is changed to aNode.
Some dimacs doki.