| Sun, 13 Mar 2011 16:38:14 +0100 | wenzelm | prefer qualified ISABELLE_NEOS_SERVER; | changeset | files |
| Sun, 13 Mar 2011 16:30:02 +0100 | wenzelm | proper File.shell_path; | changeset | files |
| 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 |