| Mon, 10 May 2004 19:26:25 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 May 2004 19:26:11 +0200 | wenzelm | Source.of_list: no buffer limitation (now pointless due to tail-recursive Scan.repeat); | changeset | files |
| Mon, 10 May 2004 19:25:59 +0200 | wenzelm | added Scan.list; | changeset | files |