search

ruckertm / HINT

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

full file names #3

Closed ruckertm closed 1 year ago

ruckertm commented 1 year ago

Most engines display full file names in the log file. hitex doesn't. This makes it difficult to compare log files.

ruckertm commented 1 year ago

A new version was commited on tex live using full file names