| 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 |
| Sat, 04 Oct 2014 17:57:03 +0200 | wenzelm | clarified nesting of delimiters; | changeset | files |
| Sat, 04 Oct 2014 16:11:39 +0200 | wenzelm | fields are case-insensitive; | changeset | files |
| Sat, 04 Oct 2014 16:02:17 +0200 | wenzelm | clarified nesting of delimiters; | changeset | files |