GNU TeXmacs - Patches: patch #7232, popup menu changes according to...
Show feedback again
You are not allowed to post comments on this tracker with your current authentification level.

Related Recipes: