Thu, 09 Aug 2012 22:31:04 +0200 | wenzelm | some attempts to keep malformed syntax errors focussed, without too much red spilled onto the document view; | changeset | files |
Thu, 09 Aug 2012 21:09:24 +0200 | wenzelm | refined recover_spans: take visible range into account, reparse and trim results -- to improve editing experience wrt. unbalanced quotations etc.; | changeset | files |
Thu, 09 Aug 2012 19:51:29 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 09 Aug 2012 19:37:42 +0200 | wenzelm | more direct Linear_Set.reverse, swapping orientation of the graph; | changeset | files |
Thu, 09 Aug 2012 17:13:46 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 09 Aug 2012 14:56:06 +0200 | wenzelm | tuned; | changeset | files |