search

ruckertm / HINT

Sources and Documentation for the HINT project
http://hint.userweb.mwn.de/
Other
7 stars 1 forks source link

use of ~... for indicating depth #2

Closed ruckertm closed 1 year ago

ruckertm commented 1 year ago

Most engines use ~... to indicate the nesting depth in log files. hitex doesn't. This makes it difficult to compare log files.

ruckertm commented 1 year ago

The new sources in TL contain the \tracingstacklevels primitive. This implements the requested feature