20 Jul
2018
20 Jul
'18
2:51 p.m.
On 07/20/2018 01:38 PM, Robert Cimrman wrote:
Thanks for spotting this - NewTerm was an experimental implementation that got removed already long time ago, and apparently I have not removed all mentions in the docs.
FYI: I have updated the docs, and added a (shortish) desciption of a more complex term.
r.