Rev 12569 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
2020-12-13: fix the modification of glose titles
Version 1.00: 2018-04-24
module for creating in a class some glossary from
(and uniquely from) the general glossary in scripts/glossary