| Mon, 28 Dec 2009 20:01:43 +0100 | wenzelm | system shutdown hook: strict kill; | changeset | files |
| Mon, 28 Dec 2009 18:40:13 +0100 | wenzelm | moved Library.decode_permissive_utf8 to Isabelle_System; | changeset | files |
| Mon, 28 Dec 2009 18:37:11 +0100 | wenzelm | pid without newline -- required for Scala version of system_out; | changeset | files |