Searched refs:texinfo_commands (Results 1 – 1 of 1) sorted by relevance
500 texinfo_commands = { variable526 ] + list(set(texinfo_commands.values()))537 for k in texinfo_commands.keys():539 t.type = texinfo_commands[k]