| Thu, 15 Oct 2009 21:08:03 +0200 | wenzelm | eliminated slightly odd get/set operations in favour of Unsynchronized.ref; | changeset | files |
| Thu, 15 Oct 2009 17:49:30 +0200 | wenzelm | natural argument order for prover; | changeset | files |
| Thu, 15 Oct 2009 17:06:19 +0200 | wenzelm | ATP_Manager.get_prover: canonical argument order; | changeset | files |
| Thu, 15 Oct 2009 17:04:45 +0200 | wenzelm | tuned proof (via atp_minimized); | changeset | files |
| Thu, 15 Oct 2009 16:15:22 +0200 | wenzelm | sort_strings (cf. Pure/library.ML); | changeset | files |
| 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 |