| Thu, 10 Mar 2016 22:21:01 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 10 Mar 2016 22:09:44 +0100 | wenzelm | upgrade "isabelle build" to Isabelle/Scala; | changeset | files |
| Thu, 10 Mar 2016 17:30:04 +0100 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | changeset | files |
| Thu, 10 Mar 2016 12:11:50 +0100 | wenzelm | isabelle_process is superseded by "isabelle process" tool; | changeset | files |
| Thu, 10 Mar 2016 12:11:23 +0100 | wenzelm | clarified messages, notably on Windows where CPU time of poly.exe is not measured; | changeset | files |
| Thu, 10 Mar 2016 10:07:23 +0100 | wenzelm | clarified modules; | changeset | files |
| Thu, 10 Mar 2016 09:56:29 +0100 | wenzelm | clarified files; | changeset | files |