Bruno Le Floch

> the base form might not have been indexed yet Good point. I guess we could go through the aux file to track that. Actually, maybe a solution is to...

Typically, strcmp is pretty slow in LuaTeX, and in all engines it requires conversion to a string that may be much larger. Can you test with `\prg_replicate:nn { 100 }...

Nestability is a bit of a detail. IIRC many verbatim packages read lines one by one and typeset them directly without waiting for the end of the environment. Should we...

Support for turning newlines or pairs of newlines to other things (like in Skillmon's code) could be done by an argument processor. The drawback is that it is more efficient...

Thanks. Nevertheless the second one should not give two frames but a single frame with `` being typeset.

Correct, I should have added `\usepackage[T1]{fontenc}` to preempt this point. My surprise is with the fact that there is a frame break: `` (or rather `1¿`) on the next.

I'm not totally sure this is the same problem as the other packages, so I'm not sure that my latest prop changes fix that. Can someone make an MWE? I'm...

What confuses me is that the behavior should already been strange before. @alceu-frigeri can you easily make a minimal example like `\prop_new:N \l_whatever_prop` etc.? showing the bug. I'd like to...

We have a long-standing issue of how to allow nested seq or prop. Currently there is no documented way of doing that, so storing props as items as if they...

An even more minimal example is `\prop_put:Nnn \l_tmpa_tl { a } { b }` with an empty token list `\l_tmpa_tl`, which used to "work" in the sense that it made...