<div dir="ltr"><div><br></div>Hans,<br><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">the next version will return indexed tables for tex.primitives, 
tex.extraprimities and tex,hashtokens (and one can use token.create to<br>
expand the names to property tables)</blockquote><div><br></div><div>thanks,<br><br></div><div>David<br> <br></div></div>