30 Mar
2020
30 Mar
'20
7:34 a.m.
On 3/30/20 1:41 PM, Hans Hagen wrote:
We've added a tracker:
\enabletrackers [structures.referencing.show]
Many thanks for the implementation, Hans. Pablo -- http://www.ousia.tk