| Mon, 20 Aug 2007 21:31:10 +0200 | huffman | reorganize into subsections | changeset | files |
| Mon, 20 Aug 2007 20:44:03 +0200 | wenzelm | prepare_dummies: NAMED_CRITICAL; | changeset | files |
| Mon, 20 Aug 2007 20:44:02 +0200 | wenzelm | with_modes []: non-critical; | changeset | files |
| Mon, 20 Aug 2007 20:44:01 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 20 Aug 2007 20:44:00 +0200 | wenzelm | File.read/write/append: non-critical (basic IO operations already thread-safe); | changeset | files |
| Mon, 20 Aug 2007 20:43:59 +0200 | wenzelm | TextIO.inputLine: non-critical (assume exclusive ownership); | changeset | files |