G. Allais 5e9a90bd97 [ fix ] semantic highlighting in IDE mode (#2509) ... * [ fix ] semantic highlighting in IDE mode Bring back (?) highlighting of goals * [ debug ] better logging: add length * [ test ] turns out lengths are not needed!		2022-05-28 11:23:07 +01:00
..
ideMode001	[ refactor ] IDE protocol as a separate module hierarchy (#2171)	2021-12-16 22:09:00 +00:00
ideMode002	[ refactor ] IDE protocol as a separate module hierarchy (#2171)	2021-12-16 22:09:00 +00:00
ideMode003	[ refactor ] Index Pretty over the type of annotations (#2371)	2022-04-27 12:26:59 +01:00
ideMode004	[ refactor ] IDE protocol as a separate module hierarchy (#2171)	2021-12-16 22:09:00 +00:00
ideMode005	[ fix ] semantic highlighting in IDE mode (#2509)	2022-05-28 11:23:07 +01:00