Term markup not displayed with Strings

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.

Eclipse Public License 1.0

12 stars 4 forks source link

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Lost the rendering of term markup, e.g. free within Strings in the editor:

term-markup-missing

Expecting cfg to be green here.

andriusvelykis commented 11 years ago

Fixed in a0908f9649d5c06307fb8617897ac8422516611a

term-markup-fix