Using hard links to files for the purpose you mentioned (ensuring file contents are...
Save should create+rename instead of updating in place
more verbose error message as discussed in MATS...
Save \shipout before \begin{document}, and restore it afterwards. ... \let\myshipout=\shipout...
Is there a workaround which I could apply as a user? Inserting the correct patch...
fix test for case-sensitive file systems
first experiments with protocol buffers
Thanks. I guess it's going to be the version after 2.9.0 where this fix will appear...
The hack was missing a trailing slash, fixed.
The hack was missing a trailing backslash, fixed.
It's strange that support for import and subimport is advertised in the change log...
The feature is already advertised in the change log of 2.7.0 (search for subimpo...
Chocolatey package
This is not an issue in my Ubuntu Gnome anymore.
Abbreviation for the -selection parameter
add missing dependency
Tim: All fair. Still, I might accidentally right-click a file in the tree, and if...
Thanks, that should do it for now. Manual file refresh is still unresolved (in some...