Rev 15584 | Blame | Compare with Previous | Last modification | View Log | RSS feed
------------ version 1.01
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