Sat, 06 Feb 2010 20:57:07 +0100 | wenzelm | fixed spelling; | changeset | files |
Sat, 06 Feb 2010 16:32:34 +0100 | wenzelm | removed unused "boundary" of Table/Graph.get_first; | changeset | files |
Sat, 06 Feb 2010 15:51:22 +0100 | wenzelm | proper treatment of paths passed to the shell -- to allow spaces in file names as usual; | changeset | files |