| Tue, 18 Sep 2012 14:51:12 +0200 | wenzelm | some actual rich text markup via XML.content_markup; | file | diff | annotate |
| Tue, 18 Sep 2012 13:18:45 +0200 | wenzelm | some support for inital command markup; | file | diff | annotate |
| Fri, 14 Sep 2012 20:49:54 +0200 | wenzelm | refined output panel: more value-oriented approach to update and caret focus; | file | diff | annotate |
| Fri, 31 Aug 2012 14:35:04 +0200 | wenzelm | more markup for failed goal forks, reusing "bad"; | file | diff | annotate |
| Fri, 24 Aug 2012 19:35:44 +0200 | wenzelm | more precise counting of line/column; | file | diff | annotate |
| Fri, 10 Aug 2012 13:33:07 +0200 | wenzelm | clarified undefined, unparsed, unfinished command spans; | file | diff | annotate |
| Thu, 09 Aug 2012 17:13:46 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 07 Aug 2012 22:25:17 +0200 | wenzelm | more structural parsing for minor modes; | file | diff | annotate |