Hi Andreas
> I think the documentation of \prop_get:NN in l3prop is wrong.
> It says that <info> of \prop_get:NN is assigned to a <tlp>,
> but actually it is assigned to a <toks>.
>
> The same applies to \prop_get_gdel:NNN.
well spotted, but I fear it is not the documentation but rather the
implementation that is incorrect right now.
in the past that was
\def_long:Npn \prop_get_aux:w #1#2#3#4{\tlp_set_eq:NN#4#2}
and xpackages like xmarks use it with tlps
will investigate
frank