Sat, 04 Oct 2014 15:11:29 +0200 clarified Chunk -- avoid ooddities;
wenzelm [Sat, 04 Oct 2014 15:11:29 +0200] rev 58530
clarified Chunk -- avoid ooddities;
Sat, 04 Oct 2014 12:19:26 +0200 support for bibtex token markup;
wenzelm [Sat, 04 Oct 2014 12:19:26 +0200] rev 58529
support for bibtex token markup; more robust ML token marker: no_context; tuned signature;
Fri, 03 Oct 2014 23:33:47 +0200 more explicit item kind;
wenzelm [Fri, 03 Oct 2014 23:33:47 +0200] rev 58528
more explicit item kind; clarified recover_delimited: skip to next @; support for line context parsing; tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip