CoCoA » CoCoA-5

19 Jul 2019

11:02 Support #1298: How can user find the indent command?

To me the example in the manual page for @indent@ is too long: it occupies too many lines, so that the description sc... John Abbott

10:59 Support #1298 (Closed): How can user find the indent command?

A student here wanted a command like @indent@ (to print out a list) but could not find it.
Indeed, I tried looking... John Abbott