| Sun, 13 Mar 2011 16:52:59 +0100 | wenzelm | more conventional Mutabelle settings -- similar to Mirabelle; | changeset | files |
| Sun, 13 Mar 2011 16:38:54 +0100 | wenzelm | more basic use of Path.position/File.read; | changeset | files |
| 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 |