Thu, 15 Oct 2009 15:53:33 +0200 | wenzelm | clarified File.platform_path vs. File.shell_path; | changeset | files |
Thu, 15 Oct 2009 15:45:50 +0200 | wenzelm | exported File.shell_quote; | changeset | files |
Thu, 15 Oct 2009 12:23:24 +0200 | wenzelm | misc tuning and recovery of Isabelle coding style; | changeset | files |
Thu, 15 Oct 2009 11:49:27 +0200 | wenzelm | eliminated extraneous wrapping of public records; | changeset | files |