Activity
From 25 Jun 2019 to 24 Jul 2019
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...
- 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...
Also available in: Atom