Sun, 27 Dec 2009 21:34:23 +0100 | wenzelm | scan: operate on file (via Scan.byte_reader), more robust exception handling; | changeset | files |
Sun, 27 Dec 2009 21:33:35 +0100 | wenzelm | added byte_reader, which works without decoding and enables efficient length operation (for scala.util.parsing.input.Reader); | changeset | files |
Sun, 27 Dec 2009 21:30:54 +0100 | wenzelm | removed unused read_file; | changeset | files |