src/Pure/ML-Systems/system_shell.ML
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-03-31 wenzelm 2008-03-31 before close: Exn.capture/release;
2008-03-06 wenzelm 2008-03-06 common setup for system_out/system;