| Thu, 29 Aug 2013 15:53:56 +0200 | wenzelm | clarified SideKick parser name, which serves as quasi "mode" here; | changeset | files |
| Thu, 29 Aug 2013 15:48:37 +0200 | wenzelm | explicit indication of outer syntax with no tokens; | changeset | files |
| Thu, 29 Aug 2013 15:29:24 +0200 | wenzelm | clarified module location; | changeset | files |
| Thu, 29 Aug 2013 15:24:36 +0200 | wenzelm | always use extended styles (despite de26cf3191a3); | changeset | files |
| Thu, 29 Aug 2013 13:53:45 +0200 | wenzelm | more uniform configuration of editor modes and token markers; | changeset | files |
| Thu, 29 Aug 2013 13:14:00 +0200 | wenzelm | syntax for isabelle-news with symbol completion; | changeset | files |
| Thu, 29 Aug 2013 13:00:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 29 Aug 2013 12:38:33 +0200 | wenzelm | maintain Completion_Popup.Text_Area as client property like Document_View; | changeset | files |