DTEX tools
duri93
DTEX tools contains tools for creating elements with tracked changes. In particular, it provides tex commands, and highlights them in the tex. Furthermore, the new version includes two buttons to quickly copy the tex code into the clipboard while stripping such commands, in order to provide "clean" tex versions.
