| Sun, 13 Mar 2011 16:14:14 +0100 | wenzelm | more conventional variable name; | changeset | files |
| 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 |
| Sun, 13 Mar 2011 15:10:00 +0100 | wenzelm | tuned headers; | changeset | files |
| Sun, 13 Mar 2011 14:51:38 +0100 | wenzelm | allow spaces in executable names; | changeset | files |