| Tue, 18 Feb 2014 18:43:47 +0100 | wenzelm | prefer concrete list append; | changeset | files |
| Tue, 18 Feb 2014 18:43:31 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 18 Feb 2014 18:29:02 +0100 | wenzelm | more standard names for protocol and markup elements; | changeset | files |
| Tue, 18 Feb 2014 17:26:13 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 18 Feb 2014 17:03:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 18 Feb 2014 16:34:02 +0100 | wenzelm | generic markup for embedded languages; | changeset | files |
| Tue, 18 Feb 2014 15:38:50 +0100 | wenzelm | clarified special eol treatment (amending 3d55ef732cd7): allow last line to be empty, which means stop == end for second-last line; | changeset | files |