| Fri, 05 Apr 2013 20:54:55 +0200 | wenzelm | tuned signature -- agree with markup terminology; | file | diff | annotate |
| Thu, 23 Aug 2012 19:57:55 +0200 | wenzelm | improved errors of parser combinators; | file | diff | annotate |
| Thu, 23 Aug 2012 17:46:03 +0200 | wenzelm | tuned messages: end-of-input rarely means physical end-of-file from the past; | file | diff | annotate |
| Tue, 07 Aug 2012 22:25:17 +0200 | wenzelm | more structural parsing for minor modes; | file | diff | annotate |
| Mon, 30 Jul 2012 13:44:40 +0200 | wenzelm | proper treatment of eof wrt. proper_input -- allow input of spaces/comments only; | file | diff | annotate |
| Mon, 30 Jul 2012 13:42:45 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 24 Jul 2012 20:56:18 +0200 | wenzelm | more explicit checks during parsing; | file | diff | annotate |