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