patchDVI
From MaRDI portal
Software:69508
Package to Patch '.dvi' or '.synctex' Files
Last update: 14 March 2023
Copyright license: GNU General Public License, version 2.0
Software version identifier: 1.11.0
This page was built for software: patchDVI
