This file contains the function linked to the item Misc commands
of the menu Misc. It proposes four types of useful functions to
insert titles, to update these titles, to insert comments and
miscellaneous commands.
Lionel Fournigault
Wed Apr 30 10:44:37 MET DST 1997
