Re: Tiny typo in ref

Hi Alex, As you can see here there are three more places in that ref.html where a “;” is missing (error #51, #58, #68). /Jon > On 26. Dec, 2015, at 07:27, Alexander Burger wrote: > >

Tiny typo in ref

Hi, I just noticed that in /doc/ref.html#fun, under Predicates, the name of the “<>” function is coded as “<”. I think it should have been “”. Merry >

Re: Tiny typo in ref

Hi Jon, > I just noticed that in /doc/ref.html#fun, under Predicates, the name > of the “<>” function is coded as “<”. I think it should have been > “”. Fixed! > Merry >