Suggestions made by users


Some not yet implemented suggestions by TeXmacs users