4

Consider this query. What is shown as

seq([]) -- [].

should actually be

seq([]) --> [].

This happens, if --> occurs within markdown formatted programs. If the program text is formatted with <pre>, the --> is properly displayed in the results. Below is part of the search-result. The first (answered jun 29'11) shows a -- while the second (answered mar 20) shows the expected -->, but this time <pre> is used (for highlighting in a transcript).

Red: bad; Green: good.

2

This required a full re-indexing of the network...so that was fun to get working right.

Anyway, search results should display all HTML entities correctly now, enjoy!

  • That was fast! Thank you! – false Jan 8 '13 at 22:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .