Support #169
Updated by Anna Maria Bigatti over 2 years ago
Often the description in the CoCoA manual refers to the formal parameters by name.
Should these names be put in a special font?
A similar question applies to the names of types (and keywords, and...)
*2022* use tt or ttref (see README)
Should these names be put in a special font?
A similar question applies to the names of types (and keywords, and...)
*2022* use tt or ttref (see README)