Activity
From 10 Jul 2019 to 08 Aug 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