https://gitlab.com/makhlaghi/maneage-paper.git
Revision f990bbac6486cedc72ef3c8ef3e26ca3997bc0c5 authored by Mohammad Akhlaghi on 22 April 2020, 18:49:31 UTC, committed by Mohammad Akhlaghi on 22 April 2020, 18:49:31 UTC
Regarding Docker Konrad pointed out that "Linux has an excellent track record for stability. It's more likely that the Docker itself becomes incompatible with older containers. Docker isn't developed for reproducibility after all". So I tried to modify that paragraph to include this important point too. In the process, I also shrank it a little more (without loosing anything substantial), so it doesn't add to the paper's length.
1 parent 76a2148
Tip revision: f990bbac6486cedc72ef3c8ef3e26ca3997bc0c5 authored by Mohammad Akhlaghi on 22 April 2020, 18:49:31 UTC
Applied futher comments by Konrad
Applied futher comments by Konrad
Tip revision: f990bba
File | Mode | Size |
---|---|---|
reproduce | ||
tex | ||
.dir-locals.el | -rw-r--r-- | 1.3 KB |
.file-metadata | -rw-r--r-- | 7.7 KB |
.gitignore | -rw-r--r-- | 994 bytes |
COPYING | -rw-r--r-- | 34.3 KB |
README-hacking.md | -rw-r--r-- | 70.1 KB |
README.md | -rw-r--r-- | 7.1 KB |
paper.tex | -rw-r--r-- | 66.6 KB |
project | -rwxr-xr-x | 15.7 KB |
Computing file changes ...