| 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 |
| Mon, 28 Dec 2009 16:45:01 +0100 | wenzelm | higher-order treatment of temporary files; | changeset | files |