Sat, 04 Oct 2014 18:26:25 +0200 | wenzelm | mark hard tabs as single chunks, as required by jEdit (see 0fd2bf8eaa9f); | file | diff | annotate |
Sat, 04 Oct 2014 18:05:30 +0200 | wenzelm | more explicit comments; | file | diff | annotate |
Sat, 04 Oct 2014 15:34:25 +0200 | wenzelm | more explicit chunk name; | file | diff | annotate |
Sat, 04 Oct 2014 15:11:29 +0200 | wenzelm | clarified Chunk -- avoid ooddities; | file | diff | annotate |
Sat, 04 Oct 2014 12:19:26 +0200 | wenzelm | support for bibtex token markup; | file | diff | annotate |