[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: pygment regex question,Re: pygment regex question
|
From: |
Werner LEMBERG |
|
Subject: |
Re: pygment regex question,Re: pygment regex question |
|
Date: |
Sat, 26 Nov 2022 07:13:11 +0000 (UTC) |
>> Why not. If you want to be even more precise on what you want to
>> match:
>>
>> -\d+|((\d+|\\breve|\\longa)\.*)
>
> if someone really wants to touch that, please note that \maxima too
> is a duration.
Indeed, this is missing. I will add this to my work that will
eventually result in a PR for pygments.
Werner
- pygment regex question, Werner LEMBERG, 2022/11/25
- Re: pygment regex question, Jean Abou Samra, 2022/11/25
- Re: pygment regex question,Re: pygment regex question, Werner LEMBERG, 2022/11/25
- Re: pygment regex question,Re: pygment regex question, Luca Fascione, 2022/11/25
- Re: pygment regex question,Re: pygment regex question, Jean Abou Samra, 2022/11/25
- Re: pygment regex question,Re: pygment regex question, Benkő Pál, 2022/11/25
- Re: pygment regex question,Re: pygment regex question,
Werner LEMBERG <=
Re: pygment regex question, Luca Fascione, 2022/11/25
Re: pygment regex question, Jean Abou Samra, 2022/11/25
Re: pygment regex question, Werner LEMBERG, 2022/11/25
Re: pygment regex question, Werner LEMBERG, 2022/11/26
Re: pygment regex question, Lukas-Fabian Moser, 2022/11/26