| Sat, 04 Oct 2014 22:15:22 +0200 | wenzelm | NEWS; | changeset | files |
| Sat, 04 Oct 2014 22:11:08 +0200 | wenzelm | tuned output; | changeset | files |
| Sat, 04 Oct 2014 19:26:31 +0200 | wenzelm | proper treatment of @comment (amending 402a8e8107a7); | changeset | files |
| Sat, 04 Oct 2014 18:26:25 +0200 | wenzelm | mark hard tabs as single chunks, as required by jEdit (see 0fd2bf8eaa9f); | changeset | files |
| Sat, 04 Oct 2014 18:16:24 +0200 | wenzelm | more total chunk_line: recovery via ignored_line; | changeset | files |
| Sat, 04 Oct 2014 18:05:30 +0200 | wenzelm | more explicit comments; | changeset | files |