[RFA 0/3] / command : fast way to change setting(s) to run a command

Philippe Waroquiers
2019-04-13T19:00:39Z

Changes compared to the RFC of the 8 April (if ever someone read the RFC :) :
* Used the word 'setting' instead of 'option'.
* Numeric syntax is now /100e instead of /e100.
* Boolean disable syntax is now /!a instead of /a!.
* Various small code changes.
* NEWS, ChangeLog, tests are done.