Changes

Jump to navigation Jump to search
137 bytes added ,  15:42, 8 June 2020
m
no edit summary
Trackers print debugging information to the [[Log file|log file]]. They can be enabled with {{cmd|enabletrackers|}}:  \enabletrackers[''tracker'',''tracker'',...]}}.  This list was made by grepping for {{code|trackers.register}} in the source code; it can also be produced from the command line with
context --showtrackers
 
Details here about [[Trackers/typesetters.suspects]] and [[Trackers/visualizers.justification]].
<!-- I'd like this table to be sortable at some point. Not sure whether wikitable-sortable will be supported any time soon. -->
|-
|}
 
 
[[Category:Tools]]

Navigation menu