| Thu, 28 Aug 2008 20:29:40 +0200 | wenzelm | tuned fold_lines; | changeset | files |
| Thu, 28 Aug 2008 20:19:45 +0200 | wenzelm | fold_lines: simplified, more efficient due to String.fields; | changeset | files |
| Thu, 28 Aug 2008 19:34:51 +0200 | wenzelm | rm fifo after open; | changeset | files |
| Thu, 28 Aug 2008 19:31:55 +0200 | wenzelm | dummy setup for completion; | changeset | files |
| Thu, 28 Aug 2008 19:31:13 +0200 | wenzelm | create named pipe; | changeset | files |
| Thu, 28 Aug 2008 19:29:59 +0200 | wenzelm | added is_cygwin; | changeset | files |
| Thu, 28 Aug 2008 19:29:58 +0200 | wenzelm | join stdout/stderr, eliminated Kind.STDERR; | changeset | files |
| Thu, 28 Aug 2008 19:29:57 +0200 | wenzelm | explicit output stream, typically a named pipe; | changeset | files |
| Thu, 28 Aug 2008 19:29:56 +0200 | wenzelm | refined option -W: output stream; | changeset | files |
| Thu, 28 Aug 2008 17:54:18 +0200 | krauss | more function -> fun | changeset | files |
| Thu, 28 Aug 2008 15:33:33 +0200 | krauss | quicksort: function -> fun | changeset | files |
| Thu, 28 Aug 2008 15:24:30 +0200 | krauss | corrected some typos | changeset | files |
| Thu, 28 Aug 2008 00:49:54 +0200 | wenzelm | fixed atom_to_xml: literal "name" attribute; | changeset | files |
| Thu, 28 Aug 2008 00:33:19 +0200 | wenzelm | exported atom_to_xml; | changeset | files |