| Thu, 06 Mar 2008 20:46:41 +0100 | wenzelm | proper dependency on ML-Systems/mosml.ML; | changeset | files |
| Thu, 06 Mar 2008 20:44:54 +0100 | wenzelm | specific system_out (MosML lacks structure Posix); | changeset | files |
| Thu, 06 Mar 2008 20:20:43 +0100 | wenzelm | * system/system_out provides a robust way to invoke external shell | changeset | files |
| Thu, 06 Mar 2008 20:17:51 +0100 | wenzelm | system_out: threaded version does not work for 5.1; | changeset | files |
| Thu, 06 Mar 2008 20:17:50 +0100 | wenzelm | common setup for system_out/system; | changeset | files |
| Thu, 06 Mar 2008 20:17:49 +0100 | wenzelm | added ML-Systems/system_shell.ML; | changeset | files |
| Thu, 06 Mar 2008 19:30:37 +0100 | wenzelm | removed obsolete THIS_IS_ISABELLE_BUILD; | changeset | files |
| Thu, 06 Mar 2008 19:21:29 +0100 | wenzelm | obsolete (cf. ML-Systems/polyml_common.ML); | changeset | files |