On Thu, 7 Jul 2016, Juan C. Estévez wrote:
Is there a mistake in this script when I follow the Guide and try command
'dataset renumber'? Here, I get a syntax error...
dataset renumber x 4
I'm afraid the "dataset renumber" command was suffering from bitrot.
That's now fixed in git and snapshots. Thanks for the report.