| Mon, 17 Mar 2014 14:40:59 +0100 | wenzelm | proper flags for main action (amending 638b29331549); | changeset | files |
| Mon, 17 Mar 2014 14:37:23 +0100 | wenzelm | tuned rendering -- avoid flashing background of aux. files that are disconnected from the document model; | changeset | files |
| Mon, 17 Mar 2014 13:53:02 +0100 | wenzelm | merge semantic and syntax completion; | changeset | files |