Re: LSR inconsistencies

[Thomas Morley]

Am Sa., 12. Okt. 2019 um 07:22 Uhr schrieb Werner LEMBERG <address@hidden>:
>
> > Done.
>
> Thanks!
>
> >>   http://lsr.di.unimi.it/LSR/Item?id=857
> >
> > Done.
> >
> > Though the title contains backslashes, thus it's not searchable in
> > LSR.  Not sure what to do!?
>
> Hmm.  I just entered `\mark' in the LSR search box, and it *does*
> return snippets with backslashes in the title.  What exactly is the
> problem?

>From here:
https://lsr.di.unimi.it/list.php?type=snippet
enter in the Title-box:
Template: integrating \startTextSpan and \stopTextSpan in a customized
TextSpanner
then click "Enable filter".
Nothing returns.

Some for #546 below (with and without <code>-tags)

>
> By the way, Sebastiano has now added support for HTML tags in snippet
> titles.  For testing purposes I ask you to change, say in snippet
> #546
>
>   http://lsr.di.unimi.it/LSR/Item?id=546    ,
>
> the title from
>
>   Aligning objects created with the \mark command
>
> to
>
>   Aligning objects created with the <code>\mark</code> command
>
> so that HTML code is added to the LSR dump.

Done.

Cheers,
  Harm