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 |
Thu, 06 Mar 2008 19:21:28 +0100 | wenzelm | renamed polyml-old-basis.ML to polyml_old_basis.ML; | changeset | files |
Thu, 06 Mar 2008 19:21:26 +0100 | wenzelm | rearrangements to make latest Poly/ML the default, not old 4.x; | changeset | files |
Thu, 06 Mar 2008 19:21:25 +0100 | wenzelm | cleaned-up ML-Systems; | changeset | files |