src/Pure/ML-Systems/system_shell.ML
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;