up previous next
3.7.6 Tagged Printing
***** NOT YET UPDATED TO CoCoA-5: follow with care *****

Some CoCoA objects are intrinsically complicated, so printing them verbatim might be confusing. For this reason a mechanism has been implemented which enables automatic pretty printing through the use of tags. A user may tag any object with a string and then define how objects tagged with that string should be printed or described. Commands that do not have to do with printing ignore the tag.