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