Sun, 13 Mar 2011 16:01:00 +0100 | wenzelm | Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype; | changeset | files |
Sun, 13 Mar 2011 15:16:37 +0100 | wenzelm | fixed document; | changeset | files |
Sun, 13 Mar 2011 15:13:53 +0100 | wenzelm | isatest: test more external code; | changeset | files |